diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2007-09-06 11:23:43 +0100 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2007-09-06 11:23:43 +0100 |
commit | 0671a3ce432c44a7f52cb3cfdef71f146970c3d0 (patch) | |
tree | 24244c0494b0496d30368c58931b84311306a50a /tools/flask | |
parent | 2c312d03cddaa6590a557b65bf4c12326cd46dde (diff) | |
download | xen-0671a3ce432c44a7f52cb3cfdef71f146970c3d0.tar.gz xen-0671a3ce432c44a7f52cb3cfdef71f146970c3d0.tar.bz2 xen-0671a3ce432c44a7f52cb3cfdef71f146970c3d0.zip |
Delete flask tools build target and add to .hgignore.
Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'tools/flask')
-rwxr-xr-x | tools/flask/loadpolicy/flask-loadpolicy | bin | 17156 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/flask/loadpolicy/flask-loadpolicy b/tools/flask/loadpolicy/flask-loadpolicy Binary files differdeleted file mode 100755 index 61a0c80b33..0000000000 --- a/tools/flask/loadpolicy/flask-loadpolicy +++ /dev/null |