If the value of a setting is changed into an empty string, then unset it,
except for the rare setting that has the new keep-empty property. FossilOrigin-Name: b9bbb8d7fd0c41d2812e6b1fb11b9bb38bb6e4a1bcaa2a11c4ac2150176b2743
Showing
- manifest 14 additions, 11 deletionsmanifest
- manifest.uuid 1 addition, 1 deletionmanifest.uuid
- src/db.c 12 additions, 2 deletionssrc/db.c
- src/dispatch.c 1 addition, 0 deletionssrc/dispatch.c
- src/setup.c 1 addition, 1 deletionsrc/setup.c
- src/style.c 3 additions, 3 deletionssrc/style.c
- tools/mkindex.c 3 additions, 0 deletionstools/mkindex.c
Please register or sign in to comment