Stéphane Glondu writes: I've just noticed that there are files under CC-BY-NC-SA-3. This is not free (the "NC" part). Is the current package shipping these files? If it
You mean proofgeneral-3.7-4? Yes, just see /usr/share/emacs/site-lisp/proofgeneral/images/README.images Is it possible to remove these files from the package? These are the images for the splash screen and the tool-bar, AFAIK. If you delete them the tool-bar is empty, but Proof General is still fully usable (I believe). Bye, Hendrik -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20237.25098.549195.810...@blau.inf.tu-dresden.de
