summaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2015-07-01 08:46:05 +0200
committerAlberto Ruiz <aruiz@um.es>2015-07-01 08:46:05 +0200
commit0bdc40ca822e1b80089080da3fe03d0e31e7d927 (patch)
tree200795ba8e6123fcceb7ab5e54cb2f097ae10279 /INSTALL.md
parentf1ee7a4ff3870a72f73d99ac923f9230f3deecf5 (diff)
minor fix
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions