This repository has been archived on 2023-03-02. You can view files and clone it, but cannot push or open issues or pull requests.

swytch 97ae8ca1d0 fix: general scripts improvements ... append `sed` commands instead of piping them (bibinput, bibshow) add dependencies (bibinput, bibshow) break forloop when bulding is done (compiler)		2020-06-20 11:39:37 +02:00
..
bin	fix: general scripts improvements	2020-06-20 11:39:37 +02:00