diff frontends/src/jp/cmd_pipe.py @ 1491:704ca56f5ca9

core (disco): added checkFeatures to check several features at once + identities are now managed with a tuple in findFeaturesSet and checkFeatures
author Goffi <goffi@goffi.org>
date Tue, 25 Aug 2015 16:05:01 +0200
parents 069ad98b360d
children 3690b4d4157e
line wrap: on
line diff