]> git.plutz.net Git - blast/commit
shorter kill timeout for nodm termination
authorPaul Hänsch <paul@plutz.net>
Thu, 19 Sep 2019 22:37:07 +0000 (00:37 +0200)
committerPaul Hänsch <paul@plutz.net>
Thu, 19 Sep 2019 22:37:07 +0000 (00:37 +0200)
commit4c52864be87bcbacc521b4178e416a8088d6bbc4
tree7d2bdb0d80e478c004227dfb5dcd9ff617fd10b5
parent8d2726984736f0065059bd3ea1069e5973cb11f9
shorter kill timeout for nodm termination
modules/nodm.mk