chiark / gitweb /
~mdw / rhodes / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
rhodes: Don't try to kill ourselves when zapping redundant workers.
[rhodes] / .gitignore
2017-06-19 Mark Wooding.gitignore: Ignore boring files. blob | commitdiff | raw
Distributed discrete log; currently binary fields only.