chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc027e9) | patch
Revert "locks: Make config an Option"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Apr 2021 17:15:14 +0000 (18:15 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Apr 2021 17:15:14 +0000 (18:15 +0100)
commit1df6493f1ef2e673170d25714317386a2086ded7
treeb7d0ed68d1bf7eb0f7cf066ced5effc3414cf9fctree | snapshot
parentcc027e9a7d9c3707631fd366548885be0a69846ccommit | diff
Revert "locks: Make config an Option"

There's no point to this unless it helps us get rid of the
lazy_static!  But it doesn't.

This reverts commit 79bf71d23437a33eaf4ce27f2d325d21508bb45e.
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.