June 24, 2016
1:55 p.m.
When informations in the catalog are updated ? I made some modifications yesterday and apparently they didn't appear, but maybe I just have to wait more :-) On 6/21/16, Esteban Lorenzano <estebanlm@gmail.com> wrote:
Hi,
I will apply some updates to catalog (backend, they will not be visible)
cheers, Esteban
-- Serge Stinckwich UCBN & UMI UMMISCO 209 (IRD/UPMC) Every DSL ends up being Smalltalk http://www.doesnotunderstand.org/