From 715c58e68b0697322aeac1fb7a318ae1566767b8 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 3 Dec 2017 14:24:41 -0400 Subject: newer branch --- config.hs | 2 +- .../comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment | 2 +- privdata/relocate | 1 - 3 files changed, 2 insertions(+), 3 deletions(-) delete mode 100644 privdata/relocate diff --git a/config.hs b/config.hs index 97d90636..ec313725 120000 --- a/config.hs +++ b/config.hs @@ -1 +1 @@ -joeyconfig.hs \ No newline at end of file +config-simple.hs \ No newline at end of file diff --git a/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment b/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment index 8046810c..cc22a160 100644 --- a/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment +++ b/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment @@ -3,7 +3,7 @@ subject="""comment 7""" date="2017-12-03T18:20:25Z" content=""" -Felix did some more work on this last April, in his precompiled-rebased +Felix did some more work on this last April, in his precompiled-rebased-2 branch. In particular, that branch is supposed to handle case #3 above (by a git diff --git a/privdata/relocate b/privdata/relocate deleted file mode 100644 index 271692d8..00000000 --- a/privdata/relocate +++ /dev/null @@ -1 +0,0 @@ -.joeyconfig -- cgit v1.2.3