]> git.plutz.net Git - blast/commit
cleaner release settings
authorPaul Hänsch <paul@plutz.net>
Mon, 16 Sep 2019 16:34:40 +0000 (18:34 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 16 Sep 2019 16:34:40 +0000 (18:34 +0200)
commit4fc67370f4e8f6dc720fd7a7cd110439acc3ad4b
treea9cd5913137e1d9f8dafcf021661df8e58967347
parentbda7b927aa3ed99001a3866e7d9f0cb3575f38e0
cleaner release settings
modules/approx.mk