diff options
| author | Alberto Ruiz <aruiz@um.es> | 2013-05-21 10:09:48 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2013-05-21 10:09:48 +0200 |
| commit | 4574d43ba8710b0425bcdad79744166ff3bf1b0c (patch) | |
| tree | 313153fdda3292a5213b734d1d75df7694dd46fd /Config.hs | |
| parent | 91b63795eac6b4042f03e7309a702f9ec86c31a2 (diff) | |
bump version
Diffstat (limited to 'Config.hs')
0 files changed, 0 insertions, 0 deletions