diff options
Diffstat (limited to 'ciao/Deployment_ResourceCommitmentManager.idl')
-rw-r--r-- | ciao/Deployment_ResourceCommitmentManager.idl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ciao/Deployment_ResourceCommitmentManager.idl b/ciao/Deployment_ResourceCommitmentManager.idl index 78b7e2bc541..5822e332b1b 100644 --- a/ciao/Deployment_ResourceCommitmentManager.idl +++ b/ciao/Deployment_ResourceCommitmentManager.idl @@ -1,4 +1,5 @@ - +//$Id$ +// #ifndef RESOURCE_COMMITMENT_MANAGER_IDL #define RESOURCE_COMMITMENT_MANAGER_IDL |