staff/goc4/2018bti7061.git
11 months agoMerge branch 'master' of git.bfh.ch:/staff/goc4/2018bti7061
Christian Grothoff [Tue, 25 Sep 2018 18:09:49 +0000 (20:09 +0200)]
Merge branch 'master' of git.bfh.ch:/staff/goc4/2018bti7061

11 months agoex
Christian Grothoff [Tue, 25 Sep 2018 18:09:43 +0000 (20:09 +0200)]
ex

11 months agoupdate
Christian Grothoff [Thu, 20 Sep 2018 14:17:43 +0000 (16:17 +0200)]
update

11 months agotypos
Christian Grothoff [Wed, 19 Sep 2018 17:14:06 +0000 (19:14 +0200)]
typos

12 months agoclean up .gitignores
Christian Grothoff [Fri, 14 Sep 2018 12:30:43 +0000 (14:30 +0200)]
clean up .gitignores

12 months agoinitial import
Christian Grothoff [Fri, 14 Sep 2018 12:28:00 +0000 (14:28 +0200)]
initial import