diff options
| author | Ben Sima <ben@bsima.me> | 2021-04-19 09:11:29 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:33 -0500 |
| commit | 304ab785d07bbdb808d6c824c5457a06628274c1 (patch) | |
| tree | 7d9c3f1917286e21528f17bdd3ed5a4c0e5be444 /Biz/Ide | |
| parent | 600d1715e8ed2f7000118d3395248b28dd0a9420 (diff) | |
Copy gmnisrv into tree
The correct way to do this would be to use my own nixpkgs fork published
at git.simatime.com, but to do that I need to setup a public git repo,
so until then I have to do it this way, which is fine.
Diffstat (limited to 'Biz/Ide')
0 files changed, 0 insertions, 0 deletions