summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2014-05-16 14:13:49 +0200
committerAlberto Ruiz <aruiz@um.es>2014-05-16 14:13:49 +0200
commit51f4cc7b4b301142b8df73568ffaa448f9e6dd50 (patch)
tree7f9b9a26344a23a0d1e3fb6e4105fe968465cd2a /.gitignore
parent1838c4248679b7476bb8716a76171712dc3cd335 (diff)
license changes, reexport modules
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions