diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-07-01 08:46:05 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-07-01 08:46:05 +0200 |
commit | 0bdc40ca822e1b80089080da3fe03d0e31e7d927 (patch) | |
tree | 200795ba8e6123fcceb7ab5e54cb2f097ae10279 /INSTALL.md | |
parent | f1ee7a4ff3870a72f73d99ac923f9230f3deecf5 (diff) |
minor fix
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions