omni.git - not just a monorepo, its an *omnirepo*

Age	Commit message (Expand)	Author
2019-05-12	change to port 80	Ben Sima
2019-05-12	get git working	Ben Sima
2019-05-12	add git to infra server	Ben Sima
2019-05-12	wip: upgrade nixos, mailserver, and enable znc	Ben Sima
2019-04-24	formatting	Ben Sima
2019-03-02	Flesh out build topology	Ben Sima
2019-02-27	I think I need these for jupyter	Ben Sima
2019-02-27	Proxy websockets for jupyter notebooks	Ben Sima
2019-02-25	Add notebook server	Ben Sima
2019-02-23	Get rid of cabal	Ben Sima
2019-02-23	Reorganize directory	Ben Sima