projects / web.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
web.git
2016-01-02 Ralf Jungmake category code more readable | commitdiff
2016-01-02 Ralf Jungtune the new blog post; use longer dashes | commitdiff
2016-01-02 Ralf Jungunsafe post: finish first draft | commitdiff
2016-01-02 Ralf Junghighligher: sort builtins | commitdiff
2016-01-02 Ralf Jungposts: add link to reddit page, if it exists | commitdiff
2016-01-02 Ralf Jungonly put the excerpt on the RSS, and add a link to... | commitdiff
2016-01-02 Ralf Jungstart working on the unsafe post | commitdiff
2016-01-02 Ralf Jung"fix" the official Rust highlighter by monkey-patching | commitdiff
2016-01-02 Ralf Jungsplit CSS into several files; take some CSS from the... | commitdiff
2016-01-02 Ralf Jungupdate menu plugin to work with Jekyll 3.0 | commitdiff
2015-10-13 Ralf JungRust post: be more explicit about the scope | commitdiff
2015-10-13 Ralf JungRust post: tune wording | commitdiff
2015-10-12 Ralf Jungfix research page | commitdiff
2015-10-12 Ralf Jungresearch: add link to research category of my blog | commitdiff
2015-10-12 Ralf Jungfeed: fix XML, add ID | commitdiff
2015-10-12 Ralf Jungadd categories | commitdiff
2015-10-12 Ralf Jungmore Rust post tuning | commitdiff
2015-10-12 Ralf JungRust post tuning | commitdiff
2015-10-12 Ralf JungRust post: tuning, spell checking, publication | commitdiff
2015-10-11 Ralf Jungsome work on the Rust post | commitdiff
2015-10-11 Ralf Jungonly show a post excerpt in the blog index | commitdiff
2015-10-11 Ralf Jungfirst version of rust post | commitdiff
2015-10-09 Ralf Jungtypo | commitdiff
2015-10-09 Ralf Jungget rid of blog description; more welcome fixes | commitdiff
2015-10-09 Ralf Jungmore uniformity for blog post headers; change link... | commitdiff
2015-10-09 Ralf Jungmake a research page happen | commitdiff
2015-10-09 Ralf Jungfix welcome post | commitdiff
2015-10-09 Ralf Jungstart honoring baseurl again; crazy hackery to get... | commitdiff
2015-10-09 Ralf Jungprepare for having two sites: personal and research | commitdiff
2015-10-09 Ralf Jungmake sure vertical scrollbar is always shown | commitdiff
2015-10-09 Ralf Jung*oops* fix date | commitdiff
2015-10-09 Ralf Jungpublish blog post: Breaking All the Way Out | commitdiff
2015-10-08 Ralf Jungtuning, tuning, tuning the spaces... | commitdiff
2015-10-08 Ralf Jungresearch: re-add missing image | commitdiff
2015-10-08 Ralf Jungproject link can now be found in menu | commitdiff
2015-10-08 Ralf Jungalso upload to MPI server | commitdiff
2015-10-08 Ralf Jungindex typo | commitdiff
2015-10-08 Ralf Jungupload script | commitdiff
2015-10-08 Ralf Jungmake better use of medium width; more menu space tuning | commitdiff
2015-10-08 Ralf Jungfix dates of posts | commitdiff
2015-10-08 Ralf Jungmake the page layout general enough to cover posts... | commitdiff
2015-10-08 Ralf Jungmove the link to Breaking All the Way Out to a blogpost | commitdiff
2015-10-08 Ralf Jungadd my research page; make its links absolute; tune... | commitdiff
2015-10-08 Ralf Jungindex: English first; redirect: use my fonts | commitdiff
2015-10-08 Ralf Jungmake blog titles clickable; some more style tunes | commitdiff
2015-10-08 Ralf Jungmake the new style also work for blog posts | commitdiff
2015-10-08 Ralf Jungdevelop a new style | commitdiff
2015-10-08 Ralf Jungfix typos and HTML | commitdiff
2015-10-08 Ralf Jungmake sure we extract something sensible as slug from... | commitdiff
2015-10-08 Ralf Jungwrite welcome blog post | commitdiff
2015-10-08 Ralf Jungprepare things for a blog | commitdiff
2015-10-07 Ralf Jungblog index meta-info | commitdiff
2015-10-07 Ralf Jungmore careful sorting of the menu; readme generator... | commitdiff
2015-10-07 Ralf Jungadd CS redirect page; tiny projects page change | commitdiff
2015-10-07 Ralf Junggenerate readme pages through a plugin | commitdiff
2015-10-07 Ralf Junguse the Jekyll pages information to create the menu | commitdiff
2015-10-07 Ralf Jungchange the way we expect the header to look in the... | commitdiff
2015-10-07 Ralf Jungblog title & description | commitdiff
2015-10-07 Ralf Jungget the content styled again | commitdiff
2015-10-07 Ralf Jungre-do the layout: use SCSS, put the boxes differently... | commitdiff
2015-10-07 Ralf Jungport projects file to markdown | commitdiff
2015-10-06 Ralf Jungtry harder not to have spaces in the menu; fix project... | commitdiff
2015-10-06 Ralf Jungcompute the menu recursively; put it between title... | commitdiff
2015-10-06 Ralf Junga first version of my site proted to jekyll | commitdiff
sources for my website