diff options
| author | Alberto Ruiz <aruiz@um.es> | 2015-07-24 11:10:04 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2015-07-24 11:10:04 +0200 |
| commit | c45e6c023a40d99103f41009f971b1712ed023d3 (patch) | |
| tree | b3bc0569e1c5f63ce6d2d1a912ea2a084306222d /.gitignore | |
| parent | 95632a6f0e74cc5a781e756d486020d516959ac4 (diff) | |
Revert "Correct names & Add C sources to the .cabal file"
This reverts commit d0d0e6871518ae0a41fe1edd5d1c7b80e1704058.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions