diff osdep/priority.h @ 36637:d339a982071d

m_option: remove code that has no effect.
author reimar
date Sat, 25 Jan 2014 16:55:05 +0000
parents 32725ca88fed
children
line wrap: on
line diff