diff options
| author | LKedward <laurence.kedward@bristol.ac.uk> | 2020-10-17 11:56:08 +0100 |
|---|---|---|
| committer | LKedward <laurence.kedward@bristol.ac.uk> | 2020-10-17 11:56:08 +0100 |
| commit | f319d32516be565718a0286f7589d66497daf60f (patch) | |
| tree | 5c4805f2ac1457d9c0a9857ebf967a11638b90a7 /bootstrap/app/Main.hs | |
| parent | d3a65e36b28808c2c51ae41fc107f1179e27a08c (diff) | |
| download | fpm-f319d32516be565718a0286f7589d66497daf60f.tar.gz fpm-f319d32516be565718a0286f7589d66497daf60f.zip | |
Minor fixes: to list_files and mkdir in fpm_filesystem
Fixes to ensure consistency between Windows and Linux: mkdir will not fail if dir already exists; list_files will include hidden files but exclude '.' and '..'
Diffstat (limited to 'bootstrap/app/Main.hs')
0 files changed, 0 insertions, 0 deletions