# HG changeset patch
# User dwinter
# Date 1386246297 -3600
# Node ID 5d636ba6b9cb4030a8cf4ca74d282343e17dd83a
# Parent  8bfd713e5d992728ce937849b81ba38475547a66# Parent  b5d89c03f9585013d464f0240f6d82751b77186f
Merge with b5d89c03f9585013d464f0240f6d82751b77186f

diff -r 8bfd713e5d99 -r 5d636ba6b9cb MPIWGThesaurus.py