diff -r ead6bc1a703f -r 2625a6f51684 text/obsolete.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/text/obsolete.tex Tue Feb 03 21:06:04 2009 +0000 @@ -0,0 +1,1 @@ +\section{Obsolete stuff} \ No newline at end of file