diff options
| author | Ondřej Čertík <ondrej@certik.us> | 2020-07-22 09:48:53 -0600 |
|---|---|---|
| committer | Ondřej Čertík <ondrej@certik.us> | 2020-07-22 09:50:55 -0600 |
| commit | 06edcbd3eb2c78808becb75b4524b9860f802904 (patch) | |
| tree | d0a61a9f47609fb97bdf50ab4628bb6f493a0bc4 /bootstrap/src/Fpm.hs | |
| parent | 155e312152229fe3b3e5f5c55d6ccdb7a8181d7c (diff) | |
| download | fpm-06edcbd3eb2c78808becb75b4524b9860f802904.tar.gz fpm-06edcbd3eb2c78808becb75b4524b9860f802904.zip | |
Print full OS name as a string
Diffstat (limited to 'bootstrap/src/Fpm.hs')
0 files changed, 0 insertions, 0 deletions