]> git.ipfire.org Git - thirdparty/gcc.git/history - contrib/check-params-in-docs.py
Revert "contrib: Add in the default push rule which was overridden"
[thirdparty/gcc.git] / contrib / check-params-in-docs.py
2019-03-06  Martin LiskaIgnore a param in check-params-in-docs.py
2018-09-25  Martin LiskaDocument all param values and remove defaults (PR middl...