diff options
Diffstat (limited to 'interface-definitions')
| -rw-r--r-- | interface-definitions/include/version/rpki-version.xml.i | 2 | ||||
| -rw-r--r-- | interface-definitions/protocols_rpki.xml.in | 8 |
2 files changed, 1 insertions, 9 deletions
diff --git a/interface-definitions/include/version/rpki-version.xml.i b/interface-definitions/include/version/rpki-version.xml.i index 2fff259a8..45ff4fbfb 100644 --- a/interface-definitions/include/version/rpki-version.xml.i +++ b/interface-definitions/include/version/rpki-version.xml.i @@ -1,3 +1,3 @@ <!-- include start from include/version/rpki-version.xml.i --> -<syntaxVersion component='rpki' version='1'></syntaxVersion> +<syntaxVersion component='rpki' version='2'></syntaxVersion> <!-- include end --> diff --git a/interface-definitions/protocols_rpki.xml.in b/interface-definitions/protocols_rpki.xml.in index e9fd04b5f..6a38b2961 100644 --- a/interface-definitions/protocols_rpki.xml.in +++ b/interface-definitions/protocols_rpki.xml.in @@ -46,14 +46,6 @@ <help>RPKI SSH connection settings</help> </properties> <children> - <leafNode name="known-hosts-file"> - <properties> - <help>RPKI SSH known hosts file</help> - <constraint> - <validator name="file-path"/> - </constraint> - </properties> - </leafNode> <leafNode name="private-key-file"> <properties> <help>RPKI SSH private key file</help> |