diff options
Diffstat (limited to 'TAO/docs/leader_follower.html')
-rw-r--r-- | TAO/docs/leader_follower.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/TAO/docs/leader_follower.html b/TAO/docs/leader_follower.html index 01af5fff1eb..a5cddb813bd 100644 --- a/TAO/docs/leader_follower.html +++ b/TAO/docs/leader_follower.html @@ -1,5 +1,5 @@ <html> - <!-- $Id$ --> + <!-- --> <head> <title>Implementation of leader follower model for global resources</title> </head> |