diff options
author | Vito Caputo <vcaputo@pengaru.com> | 2020-06-18 01:53:50 -0700 |
---|---|---|
committer | Vito Caputo <vcaputo@pengaru.com> | 2020-06-18 01:53:50 -0700 |
commit | 419cf25c02374d66cad62aaa52c1e3ccd1f312fc (patch) | |
tree | 18590a7086c99a2bcb758d874c57cb40194f2f2b /gtk-recordmydesktop/src/rmdSelect.py | |
parent | 6fef59265cd3d615b8c7241c7b6087144ebe3de3 (diff) |
*: update includes
Import of debian/patches/01_update_includes.dpatch
Diffstat (limited to 'gtk-recordmydesktop/src/rmdSelect.py')
0 files changed, 0 insertions, 0 deletions