summaryrefslogtreecommitdiff
path: root/pcr/gradio
AgeCommit message (Expand)Author
2019-02-10pcr/gradio: updated to 7.2Andreas Grapentin
2018-09-11Add [gradio] for pkg request #1883Freemor