chiark / gitweb /
rules: use consistently OPTIONS+=
authorKay Sievers <kay.sievers@vrfy.org>
Wed, 9 Jul 2008 21:50:46 +0000 (23:50 +0200)
committerKay Sievers <kay.sievers@vrfy.org>
Wed, 9 Jul 2008 21:50:46 +0000 (23:50 +0200)
Thanks to Marco for the pointer.


No differences found