projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
less 'we'
[web.git]
/
personal
/
2016-01-02
Ralf Jung
get rid of category "university"
tree
|
commitdiff
2016-01-02
Ralf Jung
tune spacing
tree
|
commitdiff
2016-01-02
Ralf Jung
get rid of crazy include-vars-magic and pretitles,...
tree
|
commitdiff
2016-01-02
Ralf Jung
fix page.url stripping off .html suffix
tree
|
commitdiff
2016-01-02
Ralf Jung
make category code more readable
tree
|
commitdiff
2016-01-02
Ralf Jung
tune the new blog post; use longer dashes
tree
|
commitdiff
2016-01-02
Ralf Jung
unsafe post: finish first draft
tree
|
commitdiff
2016-01-02
Ralf Jung
highligher: sort builtins
tree
|
commitdiff
2016-01-02
Ralf Jung
posts: add link to reddit page, if it exists
tree
|
commitdiff
2016-01-02
Ralf Jung
only put the excerpt on the RSS, and add a link to...
tree
|
commitdiff
2016-01-02
Ralf Jung
start working on the unsafe post
tree
|
commitdiff
2016-01-02
Ralf Jung
"fix" the official Rust highlighter by monkey-patching
tree
|
commitdiff
2016-01-02
Ralf Jung
split CSS into several files; take some CSS from the...
tree
|
commitdiff
2016-01-02
Ralf Jung
update menu plugin to work with Jekyll 3.0
tree
|
commitdiff
2015-10-13
Ralf Jung
Rust post: be more explicit about the scope
tree
|
commitdiff
2015-10-13
Ralf Jung
Rust post: tune wording
tree
|
commitdiff
2015-10-12
Ralf Jung
fix research page
tree
|
commitdiff
2015-10-12
Ralf Jung
feed: fix XML, add ID
tree
|
commitdiff
2015-10-12
Ralf Jung
add categories
tree
|
commitdiff
2015-10-12
Ralf Jung
more Rust post tuning
tree
|
commitdiff
2015-10-12
Ralf Jung
Rust post tuning
tree
|
commitdiff
2015-10-12
Ralf Jung
Rust post: tuning, spell checking, publication
tree
|
commitdiff
2015-10-11
Ralf Jung
some work on the Rust post
tree
|
commitdiff
2015-10-11
Ralf Jung
only show a post excerpt in the blog index
tree
|
commitdiff
2015-10-11
Ralf Jung
first version of rust post
tree
|
commitdiff
2015-10-09
Ralf Jung
typo
tree
|
commitdiff
2015-10-09
Ralf Jung
get rid of blog description; more welcome fixes
tree
|
commitdiff
2015-10-09
Ralf Jung
more uniformity for blog post headers; change link...
tree
|
commitdiff
2015-10-09
Ralf Jung
make a research page happen
tree
|
commitdiff
2015-10-09
Ralf Jung
fix welcome post
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