diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-07-13 12:00:09 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-07-13 12:00:09 +0200 |
commit | a3b28fdf0b6a335b4905c25413cf82438383319e (patch) | |
tree | af1bc27333e57b426858005b5f6dd1358b5d0c0f /INSTALL.md | |
parent | b4873dbd201e0e887fb9cb5b5fe55774fa6fbe78 (diff) |
minor doc changes
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions