diff options
| author | Vito Caputo <vcaputo@pengaru.com> | 2020-07-11 11:02:09 -0700 |
|---|---|---|
| committer | Vito Caputo <vcaputo@pengaru.com> | 2020-07-11 13:36:42 -0700 |
| commit | 4ccc2dc7638cf95786e1489ae8939361b5a1bf20 (patch) | |
| tree | 55110bf5a5e060ee3e77afdc5b014b789640c9db /gtk-recordmydesktop | |
| parent | c518f4c23d1564cadb87a5b5343321bab6af7798 (diff) | |
make_dummy_pointer: more formatting cleanups
Nothing functionally changed
Diffstat (limited to 'gtk-recordmydesktop')
0 files changed, 0 insertions, 0 deletions