diff options
| author | Francois Marier <francois@debian.org> | 2010-08-05 20:52:17 -0400 |
|---|---|---|
| committer | Francois Marier <francois@debian.org> | 2010-08-05 20:52:17 -0400 |
| commit | 79cef0ebbb86de5ccac38255434d0d2bb18fb3c1 (patch) | |
| tree | c52a30aed1698086e887ea80b989168416e18f17 /issues/i_5ec585b1.cil | |
| parent | 2b73a8c304bf705eaa3b83526698e4278accdf46 (diff) | |
| parent | 9fcb3bc29dfd429f521c4e40452197dc364310c3 (diff) | |
Merge commit 'upstream/0.07.00'
Diffstat (limited to 'issues/i_5ec585b1.cil')
| -rw-r--r-- | issues/i_5ec585b1.cil | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/issues/i_5ec585b1.cil b/issues/i_5ec585b1.cil new file mode 100644 index 0000000..caab419 --- /dev/null +++ b/issues/i_5ec585b1.cil @@ -0,0 +1,13 @@ +Summary: Add a cil label --remove command +Status: Finished +CreatedBy: Andrew Chilton <andychilton@gmail.com> +AssignedTo: Andrew Chilton <andychilton@gmail.com> +Label: Milestone-v0.06 +Comment: 043f8971 +Inserted: 2010-01-22T01:41:59 +Updated: 2010-01-23T06:37:44 + +Currently you can 'cil label MyLabel cafebabe' but you can't remove it. Add the +following option: + + $ cil label --remove MyLabel cafebabe |