diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2017-11-13 10:42:28 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-11-13 10:42:28 -0700 |
| commit | f5a7b6b014b0425a9143d151286dc0e9539e6f69 (patch) | |
| tree | 226e7cc70d2a1eff1a1e2e9c9d233cf27f9146bb /src/Utility/LinuxMkLibs.hs | |
| parent | ddeaa31de6b5c2eae24251f1e33b44c1d616fc9c (diff) | |
emit an error when property is reverted, too
Thanks Joey!
Diffstat (limited to 'src/Utility/LinuxMkLibs.hs')
0 files changed, 0 insertions, 0 deletions