aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authormerakor <cem@ckyln.com>2020-12-20 10:12:10 +0000
committermerakor <cem@ckyln.com>2020-12-20 10:12:10 +0000
commit4c902b7873335ec4b48794023ca4f9501c881bac (patch)
tree752947a6685ddd74b9713c888728b6d2a5864a7e /.gitignore
parent7722519b9e9f47b61243cf591abdc614f53c27df (diff)
parent1d9328af944d2f28978b8076709c7cf8e7e71703 (diff)
downloadcpt-4c902b7873335ec4b48794023ca4f9501c881bac.tar.gz
Merge branch 'master' into redo
FossilOrigin-Name: cabdaca0b472a803c09f16b88bd0073b79b1984edbbdd7949f724f32fe038df8
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a4f8bc0..e477f1d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,6 @@ getopt
*.did
.dep*
.target*
+
+### Texinfo ###
+*.info