Closed perlinm closed 1 month ago
script is a linux utility that I used to capture GAP output to get its version number. This small PR removes the use of script.
script
script
is a linux utility that I used to capture GAP output to get its version number. This small PR removes the use ofscript
.