[SCM] generic theorem proving environment branch, master, updated. fa49791f43607675a18d66740d269f6735ba30f3

[Andreas Tille]

The following commit has been merged in the master branch:
commit fa49791f43607675a18d66740d269f6735ba30f3
Author: Andreas Tille <tille at debian.org>
Date:   Thu Jun 14 08:58:43 2012 +0200

    Strange - after setting the project description on vasks pushing changes works ...

diff --git a/test b/test
deleted file mode 100644
index e69de29..0000000

-- 
generic theorem proving environment