UNPKG
toka
Version:
latest (0.4.32)
0.4.32
0.4.31
0.4.3
0.4.2
0.4.1
0.4.0
0.3.2
0.3.1
0.3.0
0.2.72
0.2.71
0.2.62
0.2.61
0.2.17
0.2.16
0.2.15
0.2.14
0.2.13
0.2.12
0.2.11
0.2.7
0.2.6
0.2.5
0.2.3
0.2.2
0.2.1
0.2.0
0.1.31
0.1.11
0.1.3
0.1.2
0.1.1
0.1.0
A handy tool to generate common files in command line
github.com/aprilorange/toka
aprilorange/toka
toka
/
lib
/
gitignore
/
Coq.gitignore
4 lines
(3 loc)
•
18 B
Plain Text
View Raw
1
2
3
4
*.vo *
.glob
*.v.d