Singular/Sources — pull request #452 by YueRen (2013-12-18 10:30:06+00:00)
Title: fix: unwanted changes in gitfan.lib

some changes in gitfan.lib were commited that were performance hacks
for computing the specific example of the GIT-Fan of M06
this gitfan.lib corresponds to the version in commit
380a17b65f64c61a20280cc21d4db54c3412f165
with the minor change
-version="version gitfan.lib 4.0.0.0 Jun_2013 ";
+version="version gitfan.lib 4.0.0.0 Jun_2013 "; // $Id$
which was done in commit
36869371ac9c1b61f069fc927adc41fbef647bc4