diff --git a/cd_obj b/cd_obj deleted file mode 100644 index 334bdcb..0000000 --- a/cd_obj +++ /dev/null @@ -1 +0,0 @@ -cd ../obj/$SICS_VERSION/psi