Revision 9f07472ea1e9617c9aa26df32a557b4c2d8d2e70

Committed on 21/11/2011 3:38 am by Jérôme Vieilledent <[email protected]> [GitHub Diff]

Added more information in operator list