diff options
| author | Peter Simons <simons@cryp.to> | 2014-05-03 12:37:17 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-05-03 12:37:17 +0200 |
| commit | 64d662e0568ee541cf87a6c7092dd810af579c0f (patch) | |
| tree | c2487985d5a780f4a5370ed74a608b751ae03bd0 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 801a4818c8a6e86b04483058c188bef89535db47 (diff) | |
Agda: move compiler and standard library into a common directory
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions