mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

comment typo

Browse source
This commit is contained in:
Joey Hess 2019-06-04 14:40:07 -04:00
parent 7dcc815c29
commit 500f72ec3d
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
2 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Types/Remote.hs
View file

@ -231,7 +231,7 @@ data ExportActions a = ExportActions
-- Removes an exported file (succeeds if the contents are not present)
, removeExport :: Key -> ExportLocation -> a Bool
-- Removes an exported directory. Typically the directory will be
-- empty, but it could possbly contain files or other directories,
-- empty, but it could possibly contain files or other directories,
-- and it's ok to delete those. If the remote does not use
-- directories, or automatically cleans up empty directories,
-- this can be Nothing. Should not fail if the directory was

2
doc/bugs/import_tree_should_skip_.git.mdwn
View file

@ -20,3 +20,5 @@ The solution is certianly to
2. avoid deleting .git when exporting
--[[Joey]]
> [[fixed|done]] --[[Joey]]