diff options
Diffstat (limited to 'ext/ovrimos')
| -rw-r--r-- | ext/ovrimos/setup.stub | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ext/ovrimos/setup.stub b/ext/ovrimos/setup.stub deleted file mode 100644 index 5e7778e9be..0000000000 --- a/ext/ovrimos/setup.stub +++ /dev/null @@ -1,6 +0,0 @@ -# $Source$ -# $Id$ - -define_option with-ovrimos 'ovrimos support?' yesnodir no \ -' Whether to build the ovrimos extension.' - |