diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-20 09:20:11 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-20 09:20:11 +0000 |
commit | 53e376d836133a660223198c7bb8308fb912375e (patch) | |
tree | 92d5e5381b9bfafd2a79d3efdec71f14edb798d9 /src/libmain/shared.hh | |
parent | 0eab306466fdb186c692521dd1f2b949e56c54da (diff) |
* Refactored the source tree.
Diffstat (limited to 'src/libmain/shared.hh')
-rw-r--r-- | src/libmain/shared.hh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh new file mode 100644 index 000000000..8ea637fd2 --- /dev/null +++ b/src/libmain/shared.hh @@ -0,0 +1,15 @@ +#ifndef __SHARED_H +#define __SHARED_H + +#include <string> + +#include "util.hh" + + +void run(Strings args); + + +extern string programId; + + +#endif /* !__SHARED_H */ |