diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2015-01-07 19:39:53 +0100 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2015-01-07 19:39:53 +0100 |
| commit | 22d7fb7eebc9c4ca1cdd4637a4f1daacc0a530ac (patch) | |
| tree | 23ddfc70c283ccaf582b74f8ec4a8e8168a1bd3e /CIAO/ciao | |
| parent | e392479f563136c2bedd53b6e3af905965116fa0 (diff) | |
| download | ATCD-22d7fb7eebc9c4ca1cdd4637a4f1daacc0a530ac.tar.gz | |
Shorten file headers
Diffstat (limited to 'CIAO/ciao')
| -rw-r--r-- | CIAO/ciao/Deployment/Interceptors/Name_Utilities.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CIAO/ciao/Deployment/Interceptors/Name_Utilities.h b/CIAO/ciao/Deployment/Interceptors/Name_Utilities.h index 93d15bb42bf..b948c9ee3ff 100644 --- a/CIAO/ciao/Deployment/Interceptors/Name_Utilities.h +++ b/CIAO/ciao/Deployment/Interceptors/Name_Utilities.h @@ -3,7 +3,6 @@ * @author William R. Otte <wotte@dre.vanderbilt.edu> * * A set of utility methods to manages references. - * */ #ifndef NAME_UTILITIES_H |