git.ralfj.de Git - web.git/search

2015-10-08	Ralf Jung	add my research page; make its links absolute; tune...	commit \| commitdiff \| tree
2015-10-08	Ralf Jung	index: English first; redirect: use my fonts	commit \| commitdiff \| tree
2015-10-08	Ralf Jung	make blog titles clickable; some more style tunes	commit \| commitdiff \| tree
2015-10-08	Ralf Jung	make the new style also work for blog posts	commit \| commitdiff \| tree
2015-10-08	Ralf Jung	develop a new style	commit \| commitdiff \| tree
2015-10-08	Ralf Jung	fix typos and HTML	commit \| commitdiff \| tree
2015-10-08	Ralf Jung	make sure we extract something sensible as slug from...	commit \| commitdiff \| tree
2015-10-08	Ralf Jung	write welcome blog post	commit \| commitdiff \| tree
2015-10-08	Ralf Jung	prepare things for a blog	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	blog index meta-info	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	more careful sorting of the menu; readme generator...	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	add CS redirect page; tiny projects page change	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	generate readme pages through a plugin	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	use the Jekyll pages information to create the menu	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	change the way we expect the header to look in the...	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	blog title & description	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	get the content styled again	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	re-do the layout: use SCSS, put the boxes differently...	commit \| commitdiff \| tree
2015-10-07	Ralf Jung	port projects file to markdown	commit \| commitdiff \| tree
2015-10-06	Ralf Jung	try harder not to have spaces in the menu; fix project...	commit \| commitdiff \| tree
2015-10-06	Ralf Jung	compute the menu recursively; put it between title...	commit \| commitdiff \| tree
2015-10-06	Ralf Jung	a first version of my site proted to jekyll	commit \| commitdiff \| tree

sources for my website

RSS Atom