Mercurial > hg > truffle
comparison mx/eclipse-settings/org.eclipse.jdt.core.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 | 2ba54e75b032 |
| children | 8db6e76cb658 |
comparison
equal
deleted
inserted
replaced
| 14134:e71d421370f3 | 14135:ee66410c0679 |
|---|