diff options
| -rwxr-xr-x | rpkid/rpki-confgen | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/rpki-confgen b/rpkid/rpki-confgen index 58758208..853e5266 100755 --- a/rpkid/rpki-confgen +++ b/rpkid/rpki-confgen @@ -61,7 +61,7 @@ class Option(object): if self.value is None: f.write("\n%s\n" % wiki_wrapper.fill("No default value.")) else: - f.write("\n%s\n" % wiki_wrapper.fill("Default: {{{%s}}}" % self.value)) + f.write("\n%s\n" % wiki_wrapper.fill("Default: `%s`" % self.value)) def to_conf(self, f, width): for d in self.doc: |