diff options
Diffstat (limited to 'third_party/git/Documentation/user-manual.conf')
| -rw-r--r-- | third_party/git/Documentation/user-manual.conf | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/third_party/git/Documentation/user-manual.conf b/third_party/git/Documentation/user-manual.conf deleted file mode 100644 index 0148f126dc..0000000000 --- a/third_party/git/Documentation/user-manual.conf +++ /dev/null @@ -1,11 +0,0 @@ -[titles] - underlines="__","==","--","~~","^^" - -[attributes] -caret=^ -startsb=[ -endsb=] -tilde=~ - -[linkgit-inlinemacro] -<ulink url="{target}.html">{target}{0?({0})}</ulink> |