summaryrefslogtreecommitdiff
path: root/depo
AgeCommit message (Expand)Author
2019-05-12get git workingBen Sima
2019-05-12add git to infra serverBen Sima
2019-05-12wip: upgrade nixos, mailserver, and enable zncBen Sima
2019-04-24formattingBen Sima
2019-03-02Flesh out build topologyBen Sima
2019-02-27I think I need these for jupyterBen Sima
2019-02-27Proxy websockets for jupyter notebooksBen Sima
2019-02-25Add notebook serverBen Sima
2019-02-23Get rid of cabalBen Sima
2019-02-23Reorganize directoryBen Sima