coalib: Add coafiles

vikasd145 · Dec 5, 2014 · fe5e5e9 · fe5e5e9
1 parent 590bba7
commit fe5e5e9
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.coafile b/.coafile
diff --git a/coalib/default_coafile b/coalib/default_coafile
@@ -0,0 +1,10 @@
+save = false
+config = .coafile
+flat_directories =
+recursive_directories =
+allowed_files =
+flat_bear_directories =
+rec_bear_directories =
+bears =
+ignored_bears =
+regex_bears =