update the gitignore file
This commit is contained in:
parent
9bf2f2282b
commit
0d35ca4c1a
|
@ -183,3 +183,4 @@ auto/
|
|||
*.pdf
|
||||
/docs/doku.listing
|
||||
/docs/doku.tex
|
||||
/docs/diagrammes/rm.dia.autosave
|
||||
|
|
Loading…
Reference in New Issue