projects / enc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c053b6a) | patch
de: Opt for GNU sed (gsed) instead of BSD sed compatibility in sedi
authorFabian Egli <fabian.egli@biol.ethz.ch>
Thu, 31 Oct 2019 09:23:44 +0000 (10:23 +0100)
committerFabian Egli <fabian.egli@biol.ethz.ch>
Thu, 31 Oct 2019 09:23:44 +0000 (10:23 +0100)
commitd075dcd6dae7e9c39d85cfa31decbac09add9b6e
treef78254bcdec61a84b526cb30c4d9b21707170ad4tree | snapshot (zip tar.gz)
parentc053b6a24cc64b87644348c2cb777ab803ca886ccommit | diff
de: Opt for GNU sed (gsed) instead of BSD sed compatibility in sedi
Makefile.gen diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.