?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 5754c31) | patch
Fix tools/srepl to work in non-bash shells.
commit46189983620887e3f8ca39ca7efaf1c679d38910
authorJiří Zárevúcky <jiri.zarevucky@nic.cz>
Wed, 4 Apr 2018 17:22:15 +0000 (4 19:22 +0200)
committerJiří Zárevúcky <jiri.zarevucky@nic.cz>
Wed, 4 Apr 2018 17:22:15 +0000 (4 19:22 +0200)
tree292aa8b5e778f2998c481c54fc12a20b71e80542tree | snapshot (tar.gz zip)
parent5754c31e4e22b3ba9c461583e759f5fed5d44704commit | diff
Fix tools/srepl to work in non-bash shells.
tools/srepl diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.