diff options
Diffstat (limited to 'doc/texi/building/appendix.repo.texi')
| -rw-r--r-- | doc/texi/building/appendix.repo.texi | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/texi/building/appendix.repo.texi b/doc/texi/building/appendix.repo.texi deleted file mode 100644 index 59b501ed0..000000000 --- a/doc/texi/building/appendix.repo.texi +++ /dev/null @@ -1,10 +0,0 @@ -@appendix Project Repository Details -@example -url: @value{HB-repo-url} -branch: @value{HB-repo-branch} -tag: @value{HB-repo-tag} -rev: @value{HB-repo-rev} -hash: @value{HB-repo-hash} -date: @value{HB-repo-date} -type: @value{HB-repo-type} -@end example |