Roll own version of is_directory
commitf74440a2cfe4d5492f2a4f9b1e023beacda1c743
authormalc <av1474@comtv.ru>
Mon, 17 Nov 2008 04:30:37 +0000 (17 07:30 +0300)
committermalc <av1474@comtv.ru>
Mon, 17 Nov 2008 04:30:37 +0000 (17 07:30 +0300)
treecf53602dbc5c3f0ecb727241d29de044d96c0ff1
parentf2c92be41271ae1e360c437c45e4cac2559ea7f9
Roll own version of is_directory
slice.ml