diff options
| -rw-r--r-- | docs/INSTALLATION | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/INSTALLATION b/docs/INSTALLATION index c9660bcf..3da44e88 100644 --- a/docs/INSTALLATION +++ b/docs/INSTALLATION @@ -1,4 +1,4 @@ -$Id$ +$Id$ -*- Text -*- Preliminary installation instructions for rpkid et al. These are the production-side RPKI tools, for Internet Registries (RIRs, LIRs, etc). |