cogito: more files to ignore

PATCH New Pavel Roskin 1 participant 1 message Jun 15, 2016 Documentation

Share & tools

Pavel Roskin

author

2016-06-15 22:42 UTC #0 lore raw

PATCH 1/1 cogito: more files to ignore

Ignore cogito tarballs generated by "make dist" and Documentation/tutorial-script/Playground generated by Documentation/tutorial-script/script.sh

.gitignore +1 -0

index 396ceb0..8fd37ca 100644
@@ -3,3 +3,4 @@ build-stamp
 configure-stamp
 debian/files
 debian/cogito/*
+cogito-*.tar.gz

Documentation/tutorial-script/.gitignore +1 -0

index ed6a55f..f1c7834 100644
@@ -1 +1,2 @@
 !*.txt
+Playground

Signature · 2 lines

Regards,
Pavel Roskin