aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCyril Cohen2019-11-23 15:06:00 +0100
committerGitHub2019-11-23 15:06:00 +0100
commitbc5ee7beb4011bf0ea4734cfc99fda24ee2eb9e6 (patch)
tree90cc32997c5c27699730b09dc2b771db9bd7562c
parent36cc4f9ec7b90a762e0353624d92e99afcef2ebb (diff)
parentc7b3c0aaee252816d78be33c4d7f1302962d4b79 (diff)
Merge pull request #437 from pi8027/gitignore-vos-vok
Add *.vos and *.vok to .gitignore
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 48e5735..9c96cbf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,8 @@
*.d
*.vo
*.vio
+*.vos
+*.vok
*.cm*
*~
*.glob