From 55f3acdb4bec3b2879e189a82d23e112aba79aed Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 11 Oct 2012 17:08:20 -0700 Subject: [PATCH 1/1] move other interface headers to include/ We want all external interface headers (i.e., any #include'd in user programs) to be in the include/ directory. --- cmodelint.h => include/cmodelint.h | 0 librace.h => include/librace.h | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename cmodelint.h => include/cmodelint.h (100%) rename librace.h => include/librace.h (100%) diff --git a/cmodelint.h b/include/cmodelint.h similarity index 100% rename from cmodelint.h rename to include/cmodelint.h diff --git a/librace.h b/include/librace.h similarity index 100% rename from librace.h rename to include/librace.h -- 2.34.1