On Sat, 2008-07-19 at 15:08 +0200, Dominick Grift wrote: > This patch aims to remove any duplicate delimiter. Actually, you've got this backwards. We do want the space after the comma for better readability. I've slowly been applying the change though the policy as I make other changes, which is probably why it seems like its wrong style. > @@ -12,10 +12,10 @@ > # > interface(`usbmodules_domtrans',` > gen_require(` > - type usbmodules_t, usbmodules_exec_t; > + type usbmodules_t,usbmodules_exec_t; > ') > > - domtrans_pattern($1, usbmodules_exec_t, usbmodules_t) > + domtrans_pattern($1,usbmodules_exec_t,usbmodules_t) > ') > > ######################################## -- Chris PeBenito <pebenito@xxxxxxxxxx> Developer, Hardened Gentoo Linux Public Key: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0xE6AF9243 Key fingerprint = B0E6 877A 883F A57A 8E6A CB00 BC8E E42D E6AF 9243
Attachment:
signature.asc
Description: This is a digitally signed message part
