Parcourir la source

Added bootstrap files, so you don't need to do that yourself anymore

Yentl Van Tendeloo il y a 9 ans
Parent
commit
718605f718
3 fichiers modifiés avec 97694 ajouts et 1 suppressions
  1. 0 1
      .gitignore
  2. 95835 0
      bootstrap/bootstrap.m
  3. 1859 0
      bootstrap/minimal.m

+ 0 - 1
.gitignore

@@ -1,6 +1,5 @@
 *.pyc
 *.pickle
-*.m
 *.dot
 .cache
 *.swp

Fichier diff supprimé car celui-ci est trop grand
+ 95835 - 0
bootstrap/bootstrap.m


Fichier diff supprimé car celui-ci est trop grand
+ 1859 - 0
bootstrap/minimal.m