فهرست منبع

Added 'core' to git ignore list.

Sander Mathijs van Veen 14 سال پیش
والد
کامیت
0609028e32
2فایلهای تغییر یافته به همراه2 افزوده شده و 1 حذف شده
  1. 1 0
      .gitignore
  2. 1 1
      external/pybison

+ 1 - 0
.gitignore

@@ -8,3 +8,4 @@
 *.toc
 *.synctex.gz
 /build
+core

+ 1 - 1
external/pybison

@@ -1 +1 @@
-Subproject commit 9c01c2cea1d39f5334c9e987eb40dfb25788862e
+Subproject commit f9a34e5ef432c72cf45683be98577a200860cfda