Am 30.11.2012 11:46, schrieb Fabian Greffrath:
$ grep -ir 'prboom+' prboom+/* | wc -l 30 $ grep -ir 'prboom-plus' prboom+/* | wc -l 246
Sorry, that was misleading, a significant amount of these appearances were from the debian/ directory:
$ grep -ir 'prboom+' prboom+/* | grep -v '/debian/' | wc -l 15 $ grep -ir 'prboom-plus' prboom+/* | grep -v '/debian/' | wc -l 218 - Fabian -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
