From 03e7a9bacdca30814a8dc91cecc3ca2616c79b85 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 12 Dec 2011 17:59:43 +0000 Subject: flask: add tools/flask/utils/flask-label-pci to .hgignore This was apparently forgotten in 24353:448c48326d6b Signed-off-by: Ian Jackson Committed-by: Ian Jackson diff -r 7e90178b8bbf -r c995cdcc3700 .hgignore --- a/.hgignore Mon Dec 12 17:48:42 2011 +0000 +++ b/.hgignore Mon Dec 12 17:58:25 2011 +0000 @@ -157,6 +157,7 @@ ^tools/flask/utils/flask-getenforce$ ^tools/flask/utils/flask-loadpolicy$ ^tools/flask/utils/flask-setenforce$ +^tools/flask/utils/flask-label-pci$ ^tools/fs-back/fs-backend$ ^tools/hotplug/common/hotplugpath\.sh$ ^tools/include/xen/.*$ --- .hgignore | 1 + 1 file changed, 1 insertion(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index e62fb2d3f4..87d8ef7db4 100644 --- a/.hgignore +++ b/.hgignore @@ -157,6 +157,7 @@ ^tools/flask/utils/flask-getenforce$ ^tools/flask/utils/flask-loadpolicy$ ^tools/flask/utils/flask-setenforce$ +^tools/flask/utils/flask-label-pci$ ^tools/fs-back/fs-backend$ ^tools/hotplug/common/hotplugpath\.sh$ ^tools/include/xen/.*$ -- cgit v1.2.3