summaryrefslogtreecommitdiffstats
path: root/.gitignore
AgeCommit message (Collapse)Author
2020-02-15Add a new section for news and announcementsThomas Letan
2020-02-15Make the website 3rd-party free and improve loading performanceThomas Letan
- Use webp in place of a regular png - Lazy loading of CSS files (compatible with javascript-less browsers) - KaTeX in place of MathJax - Minified CSS (using sass) - Vendoring fonts, scripts, and CSS.
2020-02-15Self hosting of Fira Sans and various small fixesThomas Letan
2020-02-14Provide an index page for write-ups with more valueThomas Letan
2020-02-05Rename org postsThomas Letan
2020-02-05Keep the list of html files to ignore up-to-date when buildingThomas Letan
2020-02-04Various fixes related to absolute URLsThomas Letan
2020-02-04Initial commit with previous content and a minimal themeThomas Letan