diff options
author | https://www.google.com/accounts/o8/id?id=AItOawn-4QWOFI0QQ4n-yu-oFq3PHeuSPUv_-b4 <Rodrigo@web> | 2013-01-11 04:32:16 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2013-01-11 04:32:16 +0000 |
commit | d690c9e92b804cebcd87f4ea9ff1c2d82bd5ef95 (patch) | |
tree | 73f7a507e57c018fe7f08c842032891e29ce1d7d /doc/bugs/Old_repository_stuck.mdwn | |
parent | ced19af43b7de83ef317eda624a29b3b942ed0ef (diff) |
Diffstat (limited to 'doc/bugs/Old_repository_stuck.mdwn')
-rw-r--r-- | doc/bugs/Old_repository_stuck.mdwn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/bugs/Old_repository_stuck.mdwn b/doc/bugs/Old_repository_stuck.mdwn index 45f61425f..abf56c87e 100644 --- a/doc/bugs/Old_repository_stuck.mdwn +++ b/doc/bugs/Old_repository_stuck.mdwn @@ -1,5 +1,5 @@ I had created a test repository a time ago with an old version of git-annex. I didn't really used it so I simply deleted the directory by hand. Now I've installed a new version of git-annex and the old repository stills appears on the webapp, but there is no interface to delete it. -Old git-annex version: don't remember -New git-annex version: I downloaded 3.20130107 (twice to be sure), but for some reason 'git-annex version' reports 3.20130102 -OS: Ubuntu 12.04.1 LTS 3.2.0-35-generic-pae #55-Ubuntu SMP Wed Dec 5 18:04:39 UTC 2012 i686 i686 i386 GNU/Linux +* Old git-annex version: don't remember +* New git-annex version: I downloaded 3.20130107 (twice to be sure), but for some reason 'git-annex version' reports 3.20130102 +* OS: Ubuntu 12.04.1 LTS 3.2.0-35-generic-pae #55-Ubuntu SMP Wed Dec 5 18:04:39 UTC 2012 i686 i686 i386 GNU/Linux |