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.

Thomas NOËL 6aa5e2f8ad bullseyed bashrc		2019-12-03 23:27:51 +01:00
bin	some bin	2019-12-03 17:15:56 +01:00
dotfiles	bullseyed bashrc	2019-12-03 23:27:51 +01: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