diff options
| author | Martin Winter <mwinter@opensourcerouting.org> | 2018-03-06 08:44:09 -0800 |
|---|---|---|
| committer | Martin Winter <mwinter@opensourcerouting.org> | 2018-03-06 08:44:09 -0800 |
| commit | 3c5c2a6077d180519f9f72b9c39ac6024ef3cad1 (patch) | |
| tree | edd16854642e9cfa70136e2dd97a7de6218608b9 /git-reindent-branch.py | |
| parent | 7b33c8d694ffec79f2e8285cc3e9f99ec9878d05 (diff) | |
debianpkg: No RPKI support for Ubuntu 12.04
Signed-off-by: Martin Winter <mwinter@opensourcerouting.org>
Diffstat (limited to 'git-reindent-branch.py')
0 files changed, 0 insertions, 0 deletions