haddock3
haddock3 copied to clipboard
Add version number in the log file
It would be good to print out in the log file at the start the version number of the used haddock3 installation Will help in supporting users.