school/type-theory
2
0
Fork 0
Code Issues 11 Pull requests Projects 1 Releases Packages Wiki Activity Actions
type-theory/html/.gitignore

5 lines
79 B
Text
Raw Permalink Normal View History

compile
2024-05-17 06:49:10 +00:00
book
src/generated/*
progress
2024-05-17 18:50:46 +00:00
!src/generated/.gitkeep
theme/pagetoc.css
theme/pagetoc.js
Reference in a new issue Copy permalink