| 1 |
commit: d0cd1eda5429f9c47ebc1b0f16c8f072b3f875c9 |
| 2 |
Author: Chris PeBenito <cpebenito <AT> tresys <DOT> com> |
| 3 |
AuthorDate: Thu Sep 26 14:28:24 2013 +0000 |
| 4 |
Commit: Sven Vermeulen <swift <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Fri Sep 27 13:23:11 2013 +0000 |
| 6 |
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=d0cd1eda |
| 7 |
|
| 8 |
Whitespace fix in terminal.te. |
| 9 |
|
| 10 |
--- |
| 11 |
policy/modules/kernel/terminal.te | 1 - |
| 12 |
1 file changed, 1 deletion(-) |
| 13 |
|
| 14 |
diff --git a/policy/modules/kernel/terminal.te b/policy/modules/kernel/terminal.te |
| 15 |
index a4c9998..18d0f0b 100644 |
| 16 |
--- a/policy/modules/kernel/terminal.te |
| 17 |
+++ b/policy/modules/kernel/terminal.te |
| 18 |
@@ -59,4 +59,3 @@ dev_node(usbtty_device_t) |
| 19 |
|
| 20 |
type virtio_device_t, serial_device; |
| 21 |
dev_node(virtio_device_t) |
| 22 |
- |
Archives