diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-05-14 20:52:42 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-05-14 20:52:42 +0200 |
| commit | eb315f1aad7771cb5be9ce6892aee4a05205c35e (patch) | |
| tree | 2d4af3fad75c285036aa433f7e650917c751b5bf /packages/base/Setup.lhs | |
| parent | bdd718066eeb1dffc790d7f48398f24b9201c6ea (diff) | |
fix size bug
Diffstat (limited to 'packages/base/Setup.lhs')
0 files changed, 0 insertions, 0 deletions