Mercurial > hg > ismi-richfaces
log
age | author | description |
---|---|---|
Wed, 05 Dec 2018 18:48:23 +0100 | Robert Casties | update URLs for changed server names. |
Fri, 09 Nov 2018 15:49:12 +0100 | Robert Casties | fix duplicate ids. |
Fri, 09 Nov 2018 15:43:39 +0100 | Robert Casties | render make-public button in show-non-public action. |
Fri, 09 Nov 2018 15:13:32 +0100 | Robert Casties | new Clean UI to find non-public references and witnesses and make them public. |