]> git.plutz.net Git - shellwiki/commit
remove debug info
authorPaul Hänsch <paul@plutz.net>
Tue, 17 May 2022 12:14:00 +0000 (14:14 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 17 May 2022 12:14:00 +0000 (14:14 +0200)
commite83851d3bdcb41a24687a1579e35dcfa39db4722
tree4bec55bb36936847a62b83925d80c6fa4a28eead
parent38202c7e5f15596fd2cb2a82f0e635cf63495f60
remove debug info
tools.sh