summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2011-12-26 12:19:16 +0100
committerAlberto Ruiz <aruiz@um.es>2011-12-26 12:19:16 +0100
commit41680d0f9f9420cc91ee71cf64aabb9936f57a4f (patch)
tree708447bae9bb15d496d90a25a90a96dd4668a88a /.gitignore
parent1e43bc8ac40a049d1cfe4621de9b82ea25756081 (diff)
gitignore
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index e31dea1..57380c8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,6 @@ doc.sh
14 14
15push.sh 15push.sh
16index.html 16index.html
17install.html 17title.md
18reinstall.sh 18reinstall.sh
19 19