diff options
| author | Alberto Ruiz <aruiz@um.es> | 2017-08-13 15:33:43 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2017-08-13 15:33:43 +0200 |
| commit | 86f539fe5edf0377b40146c7c0feaa43c9780720 (patch) | |
| tree | 44fbc4179d488a2151ec652201bc32388fc0fc63 /packages/special/Setup.lhs | |
| parent | 24fa00edb95f61db49f74c09157b898a60fc3d19 (diff) | |
bump version and thanks
Diffstat (limited to 'packages/special/Setup.lhs')
0 files changed, 0 insertions, 0 deletions