Nikolai Lifanov cc9d54c024 remove note about SEM option ... This option is no longer in Python ports.		2017-06-05 13:46:31 +00:00
..
pkg-message.in	remove note about SEM option	2017-06-05 13:46:31 +00:00