projects / web.git / history
| 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 |