73fd318579
As agreed on yesterday, we want a dedicated credits document displayed from the help menu. This is the UI/code change for that, actual credits doc still missing. (cherry picked from commit 00d6d03478bc8ddb3ebd07ff47f54c9668c242d9) |
||
---|---|---|
.. | ||
prj | ||
registry | ||
util |