zimoch eb5f0fe083 allow any header file extension

2022-03-08 15:03:11 +01:00

..

driver.makefile

allow any header file extension

2022-03-08 15:03:11 +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