diff options
Diffstat (limited to 'CIAO/ciao/CIAO_Config.h')
-rw-r--r-- | CIAO/ciao/CIAO_Config.h | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/CIAO/ciao/CIAO_Config.h b/CIAO/ciao/CIAO_Config.h deleted file mode 100644 index 42b04622520..00000000000 --- a/CIAO/ciao/CIAO_Config.h +++ /dev/null @@ -1,20 +0,0 @@ -// -*- C++ -*- -//============================================================================= -/** - * @file CIAO_Config.h - * - * $Id$ - * - * CIAO compile time configuration file. - * - * @author Bala Natarajan <bala @ dre.vanderbilt.edu> - */ -//============================================================================= -#ifndef CIAO_CONFIG_H -#define CIAO_CONFIG_H - -#if !defined (CIAO_DEFAULT_MAP_SIZE) -# define CIAO_DEFAULT_MAP_SIZE 64 -#endif /* CIAO_DEFAULT_MAP_SIZE */ - -#endif /*CIAO_CONFIG_H*/ |