idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-08-16 08:40:37 +03:00
Code Issues Projects Releases Wiki Activity

Add venv for rtd docs to .gitignore.

Browse Source
This commit is contained in:
Jan de Muijnck-Hughes 2020-05-23 20:03:36 +01:00
parent 43c5075f6e
commit 3e810b1de7
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -1,3 +1,4 @@
idris2docs_venv
*~
*.ibc
*.ttc