Am 22.09.2015 um 13:02 schrieb Emmanuel Bourg: [...] > What do you think?
I agree with Thorsten that this would imply a packaging overhead for only a little gain. Although I think that splitting the documentation would be cleaner, it is probably not worth the effort for a few KB. No strong preferences from my side though. Regards, Markus
signature.asc
Description: OpenPGP digital signature
