[SCM] Git repository for pkg-virtuoso branch, master, updated. debian/6.1.3+dfsg1-2.1-31-gc6d25e1

[José Manuel Santamar?==?UTF-8?Q?ía Lema]

The following commit has been merged in the master branch:
commit 535e458a2157b887f61555dc5c63e4691de3cb8b
Author: José Manuel Santamaría Lema <panfaust at gmail.com>
Date:   Tue May 29 16:13:16 2012 +0200

    Amend postinst.

diff --git a/debian/virtuoso-opensource-6.1.postinst b/debian/virtuoso-opensource-6.1.postinst
index aac8e00..6da79ce 100644
--- a/debian/virtuoso-opensource-6.1.postinst
+++ b/debian/virtuoso-opensource-6.1.postinst
@@ -16,7 +16,7 @@ if [ -f /etc/default/virtuoso-opensource-6.1 ] ; then
 fi
 
 # create ini file if it doesn't exit
-if [ ! -f $FILE_INI]; then
+if [ ! -f $FILE_INI ]; then
 	cp /usr/share/virtuoso-opensource-6.1/virtuoso.ini $FILE_INI
 fi
 

-- 
Git repository for pkg-virtuoso