diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2018-06-15 16:44:04 +0100 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2018-06-16 07:46:51 -0400 |
| commit | 6bbad0c9411872aa01af2babd54436590a5e3f33 (patch) | |
| tree | beafe79ab8a2e6e57ee8338a09aaebb217f5b7ec /config.hs | |
| parent | 7183a899c702d0261a7a673eda067c94fbb2cbc0 (diff) | |
add ConfFile.containsShellSetting & ConfFile.lacksShellSetting
Code adapted from Grub.configured.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'config.hs')
0 files changed, 0 insertions, 0 deletions