Age | Commit message (Expand) | Author |
---|---|---|
2023-01-01 | Change license, add Makefile, add image caching control | Prefetch |
2022-10-27 | Optimize last images, add proof template, improve CSS | Prefetch |
2022-10-23 | Optimize and improve naming of all images in knowledge base | Prefetch |