diff options
| -rw-r--r-- | rpkid/myrpki.rng | 2 | ||||
| l--------- | scripts/myrpki.py | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/rpkid/myrpki.rng b/rpkid/myrpki.rng index 111b5ed0..56588918 100644 --- a/rpkid/myrpki.rng +++ b/rpkid/myrpki.rng @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <!-- - $Id: myrpki.rnc 3187 2010-04-12 17:56:03Z sra $ + $Id: myrpki.rnc 3215 2010-04-19 19:59:12Z sra $ RelaxNG Schema for MyRPKI XML messages. diff --git a/scripts/myrpki.py b/scripts/myrpki.py deleted file mode 120000 index c90889cf..00000000 --- a/scripts/myrpki.py +++ /dev/null @@ -1 +0,0 @@ -../myrpki/myrpki.py
\ No newline at end of file |