Closed vherming closed 4 years ago
A bunch of fixes: converted some images to eps/svg, fixed rm -r in Makefile, DL'ed a new .po file and created a new cover for the German version.
Fixed according to comments, and added another fix (u11-13.eps)
A bunch of fixes: converted some images to eps/svg, fixed rm -r in Makefile, DL'ed a new .po file and created a new cover for the German version.