projects / web.git / history
| 2018-11-12 | Ralf Jung | fix CategoryFilter | tree | commitdiff |
| 2016-06-14 | Ralf Jung | fix compatibility with latest version of Jekyll | tree | commitdiff |
| 2016-01-02 | Ralf Jung | get rid of crazy include-vars-magic and pretitles,... | tree | commitdiff |
| 2016-01-02 | Ralf Jung | make category code more readable | tree | commitdiff |
| 2016-01-02 | Ralf Jung | highligher: sort builtins | tree | commitdiff |
| 2016-01-02 | Ralf Jung | "fix" the official Rust highlighter by monkey-patching | tree | commitdiff |
| 2016-01-02 | Ralf Jung | update menu plugin to work with Jekyll 3.0 | tree | commitdiff |
| 2015-10-12 | Ralf Jung | fix research page | tree | commitdiff |
| 2015-10-12 | Ralf Jung | add categories | tree | commitdiff |
| 2015-10-09 | Ralf Jung | make a research page happen | tree | commitdiff |
| 2015-10-09 | Ralf Jung | start honoring baseurl again; crazy hackery to get... | tree | commitdiff |
| 2015-10-09 | Ralf Jung | prepare for having two sites: personal and research | tree | commitdiff |