diff options
author | https://www.google.com/accounts/o8/id?id=AItOawkAUMhKOSkh9JaBA6xst3XxQIIsDEq5Zd4 <Ovidiu@web> | 2014-05-16 17:45:48 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-05-16 17:45:48 +0000 |
commit | ea2c40de65a04ca99f9bd11981b909d5c445f6fe (patch) | |
tree | 999df38d605cdad995c452b767bff7e62772ce7b /Command/Semitrust.hs | |
parent | 0bc78e6eb3449acf575486f2819dd2b74017fc9b (diff) |
Added a comment
Diffstat (limited to 'Command/Semitrust.hs')
0 files changed, 0 insertions, 0 deletions