diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2019-05-10 19:09:54 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2019-05-10 19:09:54 -0400 |
| commit | 854456185c7ab011895c20af3572361defec9751 (patch) | |
| tree | 52e0c9cdc48dc4fae88eaebab001ba876b09c36b /tools | |
| parent | 33c8ab4188e24f5097d63874c2ffc1b333e80374 (diff) | |
Do not include the debian package specifics
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions