From 22d7fb7eebc9c4ca1cdd4637a4f1daacc0a530ac Mon Sep 17 00:00:00 2001
From: Johnny Willemsen <jwillemsen@remedy.nl>
Date: Wed, 7 Jan 2015 19:39:53 +0100
Subject: Shorten file headers

---
 CIAO/ciao/Deployment/Interceptors/Name_Utilities.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'CIAO/ciao')

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
-- 
cgit v1.2.1