Files
UltraGrid/data
Martin Pulec 7c0bd41b6a data/make_man.sh: replace getopt with getopts
use of getopt is a bashism and it is also quite cumbersome

as a side effect, long options are no longer options
2023-11-14 11:13:45 +01:00
..
2021-02-24 09:51:42 +01:00
2021-07-29 15:04:17 +02:00
2018-08-24 11:24:26 +02:00
2018-09-26 10:13:29 +02:00