8 lines
96 B
Plaintext
8 lines
96 B
Plaintext
# Dateien in Doku: #
|
|
doku/*.txt
|
|
doku/*.aux
|
|
doku/*.out
|
|
doku/*.pdf
|
|
doku/*.gz
|
|
doku/*.toc
|
|
doku/*.log |