On 28.08.2018 07:38, Michaël Michaud wrote: > Also it it is difficult to make it lighter, we can also remove it from the > PLUS distro.
right. what does it do by the way. i saw it lacks german translation which i could do if i know what it does. it seems to be hidden in the Plugin menu as well and should be placed properly via def-plugins.xml if we decide to keep it. how about we remove it and if users complain we at least know it is in actual use and think of a solution? ..ede ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
