diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-12-03 14:24:41 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-12-03 14:24:41 -0400 |
| commit | 715c58e68b0697322aeac1fb7a318ae1566767b8 (patch) | |
| tree | 300ec4fa23559470451ee253e050a237bc849163 | |
| parent | d6cbcbecdf58910002744deb9cf31cd14af06ead (diff) | |
newer branch
| l--------- | config.hs | 2 | ||||
| -rw-r--r-- | doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment | 2 | ||||
| -rw-r--r-- | privdata/relocate | 1 |
3 files changed, 2 insertions, 3 deletions
@@ -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 |