aboutsummaryrefslogtreecommitdiffhomepage
path: root/config/giveostype.ml
blob: e657bc79f5b6c02c6bf45c174d497440eba51609 (plain)
1
print_string Sys.os_type;;