summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAdam Izraelevitz2020-08-21 12:02:26 -0700
committerGitHub2020-08-21 19:02:26 +0000
commit7edba2d10f980016462f917c6d21d64585ddfd6b (patch)
tree3eb2a106b0e528b1ae8ed05b54200f828902de09 /.gitignore
parent70fd01d4b0ad18a87bc46558ff246254792aa9b8 (diff)
Added website docs and mdoc. (#1560)
* Added website docs and mdoc. Removed all warnings * Updated README and added build to circle ci * Added how to build documentation, deprecated wiki * Fix copypasta Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 12a8e6f9..27d7d702 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,8 +6,12 @@ generated/
.idea_modules/
.project
target/
+docs-target/
*.iml
*.swp
+*.fir
+*.v
+*.json
test_run_dir
*~
\#*\#