add function to check the free space for a given directory

Florian Schaal

2014-03-11 6ff8d7bcb40c074e6b1b12c33d9478cdad0c6bd0

1
2
3
4
5
-- -----------------------------------------------------------
-- Dummy patch file
-- Do not edit this file
-- See README.txt in sql folder for detailed instructions
-- -----------------------------------------------------------