4 Commits

Author	SHA1	Message	Date
Gergely Polonkai	eeaf2997f8	Add some logging to _make_tags.sh	2015-08-28 16:34:43 +02:00
Gergely Polonkai	c24677caae	Fix _make_tags.sh ... Redirection didn’t work as intended with sh. It now correctly generates tag files	2015-08-19 10:41:24 +00:00
Gergely Polonkai	7a4be1de74	Continue redesign	2015-04-22 18:11:35 +02:00
Gergely Polonkai	1501da4d18	Redesign for Github Pages	2015-04-21 23:56:34 +02:00