summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2014-06-13 10:02:55 +0200
committerAlberto Ruiz <aruiz@um.es>2014-06-13 10:02:55 +0200
commitce89e8f19fc85fbf370340546c81f358874ca1e0 (patch)
tree97719d6d9148135ea9b28f02b3529e1c14909360 /.gitignore
parent068e10daa402720269810a2aa4a4354c138caadf (diff)
update install info
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions