Convert whitespace and adjust .gitignore
Showing
- .gitignore 1 addition, 5 deletions.gitignore
- Makefile.inc 1 addition, 1 deletionMakefile.inc
- coloring/bitset.lus 29 additions, 29 deletionscoloring/bitset.lus
- coloring/dice5_oracle.lus 33 additions, 33 deletionscoloring/dice5_oracle.lus
- coloring/p.lus 7 additions, 7 deletionscoloring/p.lus
- coloring/utils.lus 2 additions, 2 deletionscoloring/utils.lus
- dot2lus.ml 3 additions, 3 deletionsdot2lus.ml
- token/p.lus 4 additions, 4 deletionstoken/p.lus
- token/ring3_oracle.lus 35 additions, 35 deletionstoken/ring3_oracle.lus
- token/root.lus 6 additions, 6 deletionstoken/root.lus
Loading
Please register or sign in to comment