Anonymous Maarten e85206ffd8 wikiheaders.pl: add --rev= option to pass revision string
This way, git is not required anymore to calculate the git revision
2023-09-04 18:56:00 +02:00
..
2023-08-12 17:37:52 +02:00
2023-08-31 11:41:37 -07:00
2023-08-08 22:25:04 -07:00
2023-08-13 13:51:31 -07:00