summaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2015-07-13 12:00:09 +0200
committerAlberto Ruiz <aruiz@um.es>2015-07-13 12:00:09 +0200
commita3b28fdf0b6a335b4905c25413cf82438383319e (patch)
treeaf1bc27333e57b426858005b5f6dd1358b5d0c0f /INSTALL.md
parentb4873dbd201e0e887fb9cb5b5fe55774fa6fbe78 (diff)
minor doc changes
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions