http://it-dev.mpiwg-berlin.mpg.de/hg/ismi-richfaces/ en-us ismi-richfaces: branches ismi-richfaces branch history default http://it-dev.mpiwg-berlin.mpg.de/hg/ismi-richfaces/rev/93d33f138c9e Wed, 26 Jan 2022 16:39:32 +0100 iiif_diva http://it-dev.mpiwg-berlin.mpg.de/hg/ismi-richfaces/rev/964846688a95 Sat, 06 Jul 2019 20:42:28 +0200 public_by_author http://it-dev.mpiwg-berlin.mpg.de/hg/ismi-richfaces/rev/aa564b1b5e1f Wed, 06 Jun 2018 21:01:05 +0200 busy-msg-bean http://it-dev.mpiwg-berlin.mpg.de/hg/ismi-richfaces/rev/df6ca03c4bf9 Fri, 23 Jun 2017 18:28:10 +0200 norm_json http://it-dev.mpiwg-berlin.mpg.de/hg/ismi-richfaces/rev/34d0f1187b0f Thu, 10 Dec 2015 17:24:08 -0500 remove_escidoc http://it-dev.mpiwg-berlin.mpg.de/hg/ismi-richfaces/rev/bba950221e71 Mon, 30 Nov 2015 17:39:56 +0100