From 500f72ec3ddb4b8c59bd34faefcaee741e5ef457 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 4 Jun 2019 14:40:07 -0400 Subject: [PATCH] comment typo --- Types/Remote.hs | 2 +- doc/bugs/import_tree_should_skip_.git.mdwn | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Types/Remote.hs b/Types/Remote.hs index 451d2d3053..d16e7971ce 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -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 diff --git a/doc/bugs/import_tree_should_skip_.git.mdwn b/doc/bugs/import_tree_should_skip_.git.mdwn index d56a8c2bf1..589e52eb3d 100644 --- a/doc/bugs/import_tree_should_skip_.git.mdwn +++ b/doc/bugs/import_tree_should_skip_.git.mdwn @@ -20,3 +20,5 @@ The solution is certianly to 2. avoid deleting .git when exporting --[[Joey]] + +> [[fixed|done]] --[[Joey]]