diff options
| author | Alberto Ruiz <aruiz@um.es> | 2015-06-03 18:21:24 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2015-06-03 18:21:24 +0200 |
| commit | b4fa1d9ca83f99f5057fcf70ed409b5038908f66 (patch) | |
| tree | efedc612bfb9b27446fa8e043f314a26e95c9969 /packages/base/Setup.lhs | |
| parent | 5481f94f5b936a2ad1947200838ea27ee860d0e7 (diff) | |
| parent | 55e2326e76e7e1ee2ac0d753198b8f47e1c695ef (diff) | |
Merge pull request #126 from ntfrgl/master
Generalize step control function
Diffstat (limited to 'packages/base/Setup.lhs')
0 files changed, 0 insertions, 0 deletions