commit | bbde8f7c5f5b4124bd7e2c6ad884e61ca0c746c0 | [log] [tgz] |
---|---|---|
author | Philipp Wiesemann <philipp.wiesemann@arcor.de> | Tue Aug 30 21:14:13 2016 +0200 |
committer | Philipp Wiesemann <philipp.wiesemann@arcor.de> | Tue Aug 30 21:14:13 2016 +0200 |
tree | 0c7c9038aa542d53f0c497390bc91c14262ac401 | |
parent | fc6551e9a6a427eaa34b19a980e5d5b794a5c73e [diff] |
Fixed compiling if filesystem is disabled (thanks, Elias!). Fixes Bugzilla #3414.