zimoch 433e452d0e find posix headers too and find headers with different extensions

2022-03-08 09:47:24 +01:00

..

driver.makefile

find posix headers too and find headers with different extensions

2022-03-08 09:47:24 +01:00

expandDBD.pl

handle strict version comparison

2020-05-08 09:04:18 +02:00

getVersion.pl

Another problem. New fix try: do not consider branch names as version numbers

2021-01-13 11:11:33 +01:00