diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -14,6 +14,7 @@ obj/ *.so *.o *.info +*.info-* *.pdf *.dvi *.ps |
 |
index : mds | |
| Avant-garde display server | Mattias Andrée <m@maandree.se> |
| aboutsummaryrefslogtreecommitdiffstats |