diff options
| author | Ondřej Čertík <ondrej@certik.us> | 2020-07-22 09:51:52 -0600 |
|---|---|---|
| committer | Ondřej Čertík <ondrej@certik.us> | 2020-07-22 09:51:52 -0600 |
| commit | e2e2d9c254dd1649a9c431588a056bb2c8fd33b1 (patch) | |
| tree | 84d0394453c57a93cd73813a5841a2160c60255e /bootstrap/src/Fpm.hs | |
| parent | 06edcbd3eb2c78808becb75b4524b9860f802904 (diff) | |
| download | fpm-e2e2d9c254dd1649a9c431588a056bb2c8fd33b1.tar.gz fpm-e2e2d9c254dd1649a9c431588a056bb2c8fd33b1.zip | |
Name the function get_os_type()
Diffstat (limited to 'bootstrap/src/Fpm.hs')
0 files changed, 0 insertions, 0 deletions