summaryrefslogtreecommitdiff
path: root/Examples/EmptyExtension/yourextension.ini
diff options
context:
space:
mode:
authorEmiel Bruijntjes <emiel.bruijntjes@copernica.com>2014-03-05 12:13:54 +0100
committerEmiel Bruijntjes <emiel.bruijntjes@copernica.com>2014-03-05 12:13:54 +0100
commit902d86acbe01b0368771eb57873e09f2cfcd8184 (patch)
tree915525263b9c6ecf7aebaffcd46e5a82f735f37d /Examples/EmptyExtension/yourextension.ini
parented200cc18fb5fea88b8e9e2ff730af6cf1d50663 (diff)
default empty extension added, optimized Makefile
Diffstat (limited to 'Examples/EmptyExtension/yourextension.ini')
-rw-r--r--Examples/EmptyExtension/yourextension.ini1
1 files changed, 1 insertions, 0 deletions
diff --git a/Examples/EmptyExtension/yourextension.ini b/Examples/EmptyExtension/yourextension.ini
new file mode 100644
index 0000000..c473420
--- /dev/null
+++ b/Examples/EmptyExtension/yourextension.ini
@@ -0,0 +1 @@
+extension=yourextension.so