diff options
author | Ondřej Čertík <ondrej@certik.us> | 2020-07-21 23:14:52 -0600 |
---|---|---|
committer | Ondřej Čertík <ondrej@certik.us> | 2020-07-21 23:16:07 -0600 |
commit | f98d13bfde648bda2496c938eb113472f50df0a1 (patch) | |
tree | 15b765fa42fe0896f5ce1cf0e43d3f337c1ba47c /bootstrap/src/Fpm.hs | |
parent | 2990fe5a66f960a97fb8dff266b724b5314b220a (diff) | |
download | fpm-f98d13bfde648bda2496c938eb113472f50df0a1.tar.gz fpm-f98d13bfde648bda2496c938eb113472f50df0a1.zip |
Use get_os()
Diffstat (limited to 'bootstrap/src/Fpm.hs')
0 files changed, 0 insertions, 0 deletions