version.hon commit git-worktree.txt: recommend 'git worktree remove' over manual deletion (3f0b42b)
   1#ifndef VERSION_H
   2#define VERSION_H
   3
   4extern const char git_version_string[];
   5extern const char git_built_from_commit_string[];
   6
   7const char *git_user_agent(void);
   8const char *git_user_agent_sanitized(void);
   9
  10#endif /* VERSION_H */