6 Commits

Author	SHA1	Message	Date
Michael Kohlhase	18b7029c22	more tweaks	2016-01-21 18:58:06 +01:00
Michael Kohlhase	c0482f7dcc	uris	2016-01-21 18:56:32 +01:00
Michael Kohlhase	1d8a61e401	better formatting and more tuned to github	2016-01-21 18:54:57 +01:00
Michael Kohlhase	479d1a31a6	more	2015-11-22 08:24:11 +01:00
Michael Kohlhase	143ab8c9a4	adapting to git	2014-02-15 12:13:10 +01:00
Michael Kohlhase	e1c9c126fd	Initial commit	2014-02-15 02:51:07 -08:00