diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2018-11-13 10:30:36 +0100 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2018-11-13 10:30:36 +0100 |
| commit | a337c955da377b2b6a274dd6ee1c275cdcacb1c3 (patch) | |
| tree | 78d3720324abaddad9daa35fb66dad2cef0c1414 /doc/examples/configure-index | |
| parent | 9bb831d7d489eac732d4aaccc1a014d923e711ff (diff) | |
Drop debian/source/options, not needed anymore
Diffstat (limited to 'doc/examples/configure-index')
0 files changed, 0 insertions, 0 deletions