summaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2015-04-09 12:48:57 +0200
committerAlberto Ruiz <aruiz@um.es>2015-04-09 12:48:57 +0200
commitc10f27ac40ff74612a6c773baa572573f3186506 (patch)
treeefe9bf1b62e20c1163eed98753c4bef2afca6d06 /INSTALL.md
parent5eba1bc309d7845366e8d00849d85426bf8f666d (diff)
parent8d7c921bdff0d57a4579d3de71cd5ba3bf5276a1 (diff)
merge recent changes
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions