diff options
author | Mike Frysinger <vapier@google.com> | 2020-02-07 19:44:53 -0500 |
---|---|---|
committer | David Pursehouse <dpursehouse@collab.net> | 2020-02-09 03:55:47 +0000 |
commit | b4687ad862435e9a518ee902f0a28c50de504a5a (patch) | |
tree | 815a73dcb679ba6ca5c2d68231d725db7c501b13 /pager.py | |
parent | ded477dbb9c6993cbe8b93b10654682b04fdeea8 (diff) | |
download | git-repo-b4687ad862435e9a518ee902f0a28c50de504a5a.tar.gz |
docs: add a developer reference for .repo/ paths
Currently the only reference for these is the source which can be a
pita when needing to refer to something quickly.
Change-Id: I52baeb9a4935814cf99fa9a9b3102e8e46cddb0d
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/253972
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: David Pursehouse <dpursehouse@collab.net>
Diffstat (limited to 'pager.py')
0 files changed, 0 insertions, 0 deletions