diff options
Diffstat (limited to 'engines/alpha.opt')
-rw-r--r-- | engines/alpha.opt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/engines/alpha.opt b/engines/alpha.opt deleted file mode 100644 index 1dc71bf4b7..0000000000 --- a/engines/alpha.opt +++ /dev/null @@ -1 +0,0 @@ -SYMBOL_VECTOR=(bind_engine=PROCEDURE,v_check=PROCEDURE) |