diff options
Diffstat (limited to 'TAO/docs/pluggable_protocols/index.html')
-rw-r--r-- | TAO/docs/pluggable_protocols/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/TAO/docs/pluggable_protocols/index.html b/TAO/docs/pluggable_protocols/index.html index 7c7315c2784..88817c7b5ab 100644 --- a/TAO/docs/pluggable_protocols/index.html +++ b/TAO/docs/pluggable_protocols/index.html @@ -1,6 +1,6 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> -<!-- $Id$ --> +<!-- --> <HTML> <HEAD> |