rachel
/
rachel.cafe
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
rachel.cafe/.gitignore

7 lines
71 B
Plaintext
Raw Permalink Normal View History

created basic site structure and added support for katex and lagda
2022-01-26 21:35:10 +01:00
.jekyll-cache
.agda-html
_site
*.agdai
added work page to site
2023-01-28 14:11:09 +01:00
.jekyll-metadata
fix undo-tree
2023-08-12 20:14:53 +02:00
.*.~undo-tree~