diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-07-31 17:00:58 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-07-31 17:00:58 +0200 |
commit | d087d778ffb62e2713cb848540bcc819470365bd (patch) | |
tree | d69692a274dd1c7d0672e6bb7155a0fc106f9d49 /doc/.gitignore | |
parent | c8bd2513ecba169cff44c09c8058c36987357b18 (diff) | |
parent | 3759ce55ba79b8d3b9d8ed247a252273ee7dade3 (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..076d975 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,25 @@ +*.1 +*.5 +*.7 +*.8 +*.eps +*.html +*.pdf +descriptions-external.db +descriptions.db +doxygen-genesys.conf +doxygen-sanei.conf +doxygen_sqlite3.db +genesys-html +sane.aux +sane.cb +sane.dvi +sane.idx +sane.ilg +sane.ind +sane.lof +sane.log +sane.lot +sane.ps +sane.toc +sanei-html |