summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2018-09-02 18:32:47 +0200
committerRichard Braun <rbraun@sceen.net>2018-09-02 18:32:47 +0200
commit5184d7868baf5d87012f4aa352eb89037f8ce22c (patch)
treee7582ca93971e05ced21749d538cbac489a0fdd1
parent1ac91d54063b376f04190e5236595532de2861fb (diff)
.gitignore: add intermediate xml asciidoc files
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2dfdd966..143d724d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ x15.lds
/x15
/doc/*\.[1-9]
/doc/*\.[1-9]\.html
+/doc/*\.[1-9]\.xml