00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef stefan_h 00004 #define stefan_h 00005 00006 // 00007 // INTERFACE definition follows 00008 // 00009 00017 int main(int argc, char** argv); 00018 00019 #endif // stefan_h
1.2.15