update seafile-ignore.txt

2023-09-12 14:20:33 +08:00
parent c96f229f93
commit 2b8cf86c37
11 changed files with 31 additions and 19 deletions
--- a/git-pull-tree.bat
+++ b/git-pull-tree.bat
@@ -20,7 +20,7 @@ set FONPATH3=%HOMEDRIVE%%HOMEPATH%\faronear
  ) else (
      echo ××× none of the testing path is valid.
      echo;
-      echo === Enter [fonpath] or leave [blank] for default to '.'
+      echo === Enter <fonpath> or leave <blank> for default to '.'
      set /p FONPATH=">>> "
      echo;
      if "" == "%FONPATH%" (