summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2017-08-02 14:20:32 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2017-08-02 15:56:58 +0100
commitd088ef80cb2c01ba3a98179173f11d32706349a9 (patch)
tree106cb600c42fad916b501766008ced9f70cddf63 /infra/dgit-repos-server
parent8b30674d5dbdebb3ad48bff887d99f5c4fea7984 (diff)
Revert "Dgit: Introduce in_workarea and fresh_workarea"
This reverts commit aa073c5bdde68a1ab5026ba4daaf29c8bf361532. These functions are not used on this branch. I originally put them here because I thought dgit would want to use them, but actually it doesn't really. There are no tests for them here and we are about to engage in refactoring which will probably accidentally break them. Instead, delete them. This revert should itself be re-reverted when these functionsn are going to be used. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-server')
0 files changed, 0 insertions, 0 deletions