]> git.plutz.net Git - serve0/commit
improved grouping, improved shell compatibility
authorPaul Hänsch <paul@plutz.net>
Sun, 24 May 2020 13:38:13 +0000 (15:38 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 24 May 2020 13:38:13 +0000 (15:38 +0200)
commit59e9e99551eb5889b1efa077c8b2ffa97c2eccf9
treea60211fe42fa97500aca562c4650e75aa4604473
parentd64db0c9a295f3c029eed0a174bb4b54228d7b96
improved grouping, improved shell compatibility
list.sh