chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59d5bfc) | patch
locks: Make config an Option
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 9 Apr 2021 16:27:10 +0000 (17:27 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 9 Apr 2021 16:27:10 +0000 (17:27 +0100)
commit79bf71d23437a33eaf4ce27f2d325d21508bb45e
tree8e0bf86bdd06ad5f1c753b71fa57a8b3c42be4c0tree | snapshot
parent59d5bfc06c2d675eb43ab803a3016b1c6f23f7accommit | diff
locks: Make config an Option

This makes it plausible to implement ConstDefault for it.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/config.rs diff | blob | history
src/global.rs diff | blob | history
src/prelude.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.