]> git.plutz.net Git - blast/commit
keep external repo up to date
authorPaul Hänsch <paul@plutz.net>
Fri, 6 Sep 2019 09:38:30 +0000 (11:38 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 6 Sep 2019 09:38:30 +0000 (11:38 +0200)
commit67ebbcc02dd81d8c4b0dba55b1d8790ea786b261
treea8d1f7a6bb6bba73a5d618d8c28a19bb73796fe4
parenteffcf5366d797e5b3171bd27283eb576a2ddefa4
keep external repo up to date
modules/remo2hbo.mk