log src/memory/disco.py @ 1484:05b821a0ff5a

age author description
Fri, 21 Aug 2015 19:23:13 +0200 Goffi core (disco): fixed bad indentation resulting in bad result in findFeaturesSet
Sun, 16 Aug 2015 00:41:58 +0200 Goffi core: getProfileName no raise ProfileUnknownError + minor doc fixes