chiark / gitweb /
config: Tidy up ipif setting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Aug 2021 17:50:40 +0000 (18:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Aug 2021 18:52:04 +0000 (19:52 +0100)
commit92d22b25e401e29ffdbf7d5136bb2016d37570d1
tree7443969326a74e5ac1f9171f6b39e07e821afc53
parent982eda76003813f23da0f7338f37953d5e4fa945
config: Tidy up ipif setting

We can and should just use `ordinary(..,Global)` directly.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/config.rs