Files
Pino Toscano 3de9fa7ba9 build: use $(SED) instead of sed when possible
Make use of the sed executable set at configure time.
2014-10-23 19:03:12 +02:00
..
2014-05-15 22:05:39 +01:00
2014-05-15 22:05:39 +01:00
2014-05-15 22:05:39 +01:00
2014-10-23 19:03:12 +02:00