Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docu: link to WHATSNEW was broken when generated on Linux
Doxygen named the file _w_h_a_t_s_n_e_w.html, and front page referred to it as whatsnew.html
- Loading branch information