diff options
| -rwxr-xr-x | xlint | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/xlint b/xlint index 21af25b..7ad0658 100755 --- a/xlint +++ b/xlint @@ -29,7 +29,6 @@ variables_order() { version=*) curr_index=3;; revision=*) curr_index=4;; archs=*) curr_index=5;; - revision=*) curr_index=6;; wrksrc=*) curr_index=7;; create_wrksrc=*) curr_index=8;; build_wrksrc=*) curr_index=9;; |