use newer version of grep with recent debian/ubuntu releases due to the ld --as-neede...
authorLucas Nussbaum <lucas@lucas-nussbaum.net>
Wed, 30 Nov 2011 07:45:08 +0000 (08:45 +0100)
committerLucas Nussbaum <lucas@lucas-nussbaum.net>
Wed, 30 Nov 2011 07:45:08 +0000 (08:45 +0100)
commit8559d30c716a66b72d4970669e9482f7d76c499a
treed4bac20aec95d89c5c6888ee13fc54f0be534ce3
parentd64d4851d539b60a77cac1872a54d756c60e12d2
use newer version of grep with recent debian/ubuntu releases due to the ld --as-needed change
packaging-tutorial.tex