Gildas 5909443455 integration of the annotation editor (fixes #161) 6 years ago
..
messages.json 5909443455 integration of the annotation editor (fixes #161) 6 years ago