diff options
| author | Damiano Galassi <[email protected]> | 2017-11-24 11:27:06 +0100 |
|---|---|---|
| committer | Damiano Galassi <[email protected]> | 2017-11-24 11:27:06 +0100 |
| commit | 13c8582eff580913d290b98bc0a58970121ee088 (patch) | |
| tree | eb4fa7ab1263664d65ed3ca53f5e807d88180cd7 /.github | |
| parent | 47d7b716b2c1f99c9d6a0ba6d2e834012d0a4d68 (diff) | |
MacGui: use KVO to get a good part of the change notification in the summary view.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions