diff options
| author | Don Stewart <dons@galois.com> | 2007-09-27 23:44:01 +0200 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2007-09-27 23:44:01 +0200 |
| commit | f1885b4a1f7b60966013b5a066bee8e1804b4f42 (patch) | |
| tree | 453dd83469e0f326b66a3f100567d9834e2d87e3 /StackSet.hs | |
| parent | 99de93d0ed2266e5d7e22d40b633de62be1a2c62 (diff) | |
| download | xmonad-f1885b4a1f7b60966013b5a066bee8e1804b4f42.tar.gz xmonad-f1885b4a1f7b60966013b5a066bee8e1804b4f42.tar.xz xmonad-f1885b4a1f7b60966013b5a066bee8e1804b4f42.zip | |
Add 3 QC properties for focusMaster: local, idempotent, preserves invariant
darcs-hash:20070927214401-cba2c-4d5e8646bcc9d21b844f56e7cea13b9af26de7c1.gz
Diffstat (limited to 'StackSet.hs')
0 files changed, 0 insertions, 0 deletions