diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-06-16 14:02:12 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-06-16 14:03:17 -0700 |
| commit | 61e8fe50c21cd96f5dac5d6884f90c5e147047bc (patch) | |
| tree | a19b566c8a76297145a32ffdbaf57d0850c6a72d /pkgs/development/python-modules/rangehttpserver | |
| parent | 39dfef4af0ade551370ac3544c4e4cc8746e5f87 (diff) | |
Agda: add 2.4.0.1, 2.3.2.2 is still the default for now
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions