Mercurial > hg > truffle
view mx/eclipse-settings/org.eclipse.core.resources.prefs @ 14135:ee66410c0679
mx: add option to send sigquit before killing child
author | Bernhard Urban <bernhard.urban@jku.at> |
---|---|
date | Tue, 11 Mar 2014 17:48:21 +0100 |
parents | f11d3d5248b5 |
children |