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/autogen.sh | |
parent | c518f4c23d1564cadb87a5b5343321bab6af7798 (diff) |
make_dummy_pointer: more formatting cleanups
Nothing functionally changed
Diffstat (limited to 'gtk-recordmydesktop/autogen.sh')
0 files changed, 0 insertions, 0 deletions