diff options
Diffstat (limited to 'third_party/heimdal/lib/hdb/hdb.opt')
-rw-r--r-- | third_party/heimdal/lib/hdb/hdb.opt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/third_party/heimdal/lib/hdb/hdb.opt b/third_party/heimdal/lib/hdb/hdb.opt new file mode 100644 index 0000000..626f8c7 --- /dev/null +++ b/third_party/heimdal/lib/hdb/hdb.opt @@ -0,0 +1,5 @@ +--sequence=HDB-extensions +--sequence=HDB-Ext-KeyRotation +--sequence=HDB-Ext-KeySet +--sequence=Keys +--decorate=HDB_entry:void:context?::: |