diff options
| author | Alberto Ruiz <aruiz@um.es> | 2015-06-14 19:49:10 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2015-06-14 19:49:10 +0200 |
| commit | 57487d828065ea219cdb33c9dc177b67c60b34c7 (patch) | |
| tree | f6cc1e11ba41165e3a65930c66954a5220a4a8cb /.gitignore | |
| parent | 517dfdbf884ef2b3f3f3d365294a6a714ba7ff9d (diff) | |
minor changes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions