Other stuff
This repository has been archived on 2023-02-21. You can view files and clone it, but cannot push or open issues or pull requests.
Go to file
Thomas NOËL ef44d469f1 add gitconfig (git lol) 2021-07-01 17:17:53 +02:00
bin some bin 2019-12-03 17:15:56 +01:00
dotfiles add gitconfig (git lol) 2021-07-01 17:17:53 +02:00
nsupdate.cgi nsupdate.cgi 2018-03-21 11:33:21 +01:00
roboteo.py roboteo: simplify/minimize help message 2018-08-29 00:23:02 +02:00