2 commits

Author	SHA1	Message	Date
bevilj	513e934b67	code review ... git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@219 a672b425-5310-4d7a-af5c-997e18724b81	2018-11-15 20:09:21 +00:00
bevilj	ead6349b9a	interm: fix formatting for new pages ... git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@139 a672b425-5310-4d7a-af5c-997e18724b81	2018-11-12 12:46:51 +00:00