diff options
author | Alberto Ruiz <aruiz@um.es> | 2014-09-28 11:56:56 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2014-09-28 11:56:56 +0200 |
commit | 2045b16e6a044d50135f09342962f936f7d62724 (patch) | |
tree | 4366ea5eb31f43ad5d8d8935dec753103153376a /packages/base/Setup.lhs | |
parent | 38f12fd401b348989761086f5b967e1ffa53e232 (diff) |
bump version and thanks
Diffstat (limited to 'packages/base/Setup.lhs')
0 files changed, 0 insertions, 0 deletions