From e86863f68ed73e2359f609ed2e853277a65aa6ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sl=C3=A1vek=20Banko?= Date: Wed, 14 Aug 2013 17:12:46 +0200 Subject: 3rdparty headers moved out from public include directory This resolves Bug 1350 --- include/vdbeInt.h | 1 - 1 file changed, 1 deletion(-) delete mode 120000 include/vdbeInt.h (limited to 'include/vdbeInt.h') diff --git a/include/vdbeInt.h b/include/vdbeInt.h deleted file mode 120000 index e2955f52c..000000000 --- a/include/vdbeInt.h +++ /dev/null @@ -1 +0,0 @@ -../src/3rdparty/sqlite/vdbeInt.h \ No newline at end of file -- cgit v1.2.1