Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Bug#708665: devref: 'GNU/Linux' should be dropped on most places.

1 view
Skip to first unread message

victory

unread,
May 17, 2013, 11:10:01 AM5/17/13
to

Package: developers-reference
Version: 3.4.10
Severity: minor
Tags: patch

'GNU/Linux' should be dropped and can be done on most places.
other exception may exist, though, only one exception found is
Debian GNU/Linux 1.3

all others seem to be applied this:
-<!ENTITY debian-formal "Debian GNU/Linux">
+<!ENTITY debian-formal "Debian">


--
victory
no need to CC me :-)
http://userscripts.org/scripts/show/102724 0.0.1.4
http://userscripts.org/scripts/show/163846 0.0.1
http://userscripts.org/scripts/show/163848 0.0.1
dropgl.patch
0 new messages