diff options
author | Emiel Bruijntjes <emiel.bruijntjes@copernica.com> | 2014-03-05 12:13:54 +0100 |
---|---|---|
committer | Emiel Bruijntjes <emiel.bruijntjes@copernica.com> | 2014-03-05 12:13:54 +0100 |
commit | 902d86acbe01b0368771eb57873e09f2cfcd8184 (patch) | |
tree | 915525263b9c6ecf7aebaffcd46e5a82f735f37d /Examples/EmptyExtension/yourextension.ini | |
parent | ed200cc18fb5fea88b8e9e2ff730af6cf1d50663 (diff) |
default empty extension added, optimized Makefile
Diffstat (limited to 'Examples/EmptyExtension/yourextension.ini')
-rw-r--r-- | Examples/EmptyExtension/yourextension.ini | 1 |
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 |