-remove dead struct
authorChristian Grothoff <christian@grothoff.org>
Wed, 28 Aug 2013 18:25:17 +0000 (18:25 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 28 Aug 2013 18:25:17 +0000 (18:25 +0000)
commit95cbbcfb126067111d489b0df43fb7f27eb005b5
tree987c06e6e65fd8fec40e4136522e266b8596846a
parentddcfd8f7989232ff72c1c894a09548aab32ce01e
-remove dead struct
src/core/core.h