History of HEAD Revision history for: English (US) Nov 15, 2016, 11:25:01 AM fscholz Previous Aug 30, 2016, 5:06:59 AM fscholz fix github url Previous Jul 28, 2016, 6:07:06 AM fscholz Previous Jul 20, 2016, 4:03:53 AM fscholz Previous Jul 20, 2016, 3:53:52 AM fscholz review Previous Jul 19, 2016, 6:36:21 AM teoli Previous Jul 19, 2016, 6:35:35 AM teoli Rephrase second paragraph Previous Jul 19, 2016, 2:54:00 AM teoli Previous Jul 19, 2016, 2:49:38 AM teoli Previous Jul 19, 2016, 2:36:00 AM teoli First version done