diff options
author | Russ Allbery <eagle@eyrie.org> | 2018-08-26 17:54:06 -0700 |
---|---|---|
committer | Russ Allbery <eagle@eyrie.org> | 2018-08-26 17:54:06 -0700 |
commit | 540cf9fe4f203129fa55f3affe896b671a74ed6a (patch) | |
tree | 9c5c0938deaf3bf5d7ff2843a37b94d7080a9ca1 /debian/source/options | |
parent | 1fc20d1fc04537c7c1a58e58fdbd7fc0217257d4 (diff) |
Switch to normal patch management
* Remove debian/source/local-options and local-patch-header and switch
to normal patch management.
Diffstat (limited to 'debian/source/options')
0 files changed, 0 insertions, 0 deletions