diff options
author | Joey Hess <joey@kitenet.net> | 2010-10-19 14:17:41 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2010-10-19 14:17:41 -0400 |
commit | f3c5a8543b2793f507b4a4801315d1f333e758cc (patch) | |
tree | 440500d12654157855390c8dd4be672409748fd2 | |
parent | 731cabbe3d083bcca6535fc9751b63cc16a83b83 (diff) |
update
-rw-r--r-- | TODO | 2 | ||||
-rw-r--r-- | debian/docs | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -4,7 +4,7 @@ * --push/--pull should take a reponame and files, and push those files to that repo; dropping them from the current repo -* how to handle git mv file? -> git annex fix -> run automatically? +* how to handle git mv file? -> git annex fix -> run automatically on commit * how to handle git rm file? (should try to drop keys that have no referring file, if it seems safe..) diff --git a/debian/docs b/debian/docs index 9de86edc7..d6fa57dd7 100644 --- a/debian/docs +++ b/debian/docs @@ -1 +1,2 @@ doc/*.mdwn +TODO |