summaryrefslogtreecommitdiff
path: root/github-management
diff options
context:
space:
mode:
authorMark Janssen <mark@praseodym.net>2019-05-26 22:45:25 +0200
committerMark Janssen <mark@praseodym.net>2019-08-06 22:09:09 +0200
commitb1b1be83d7c77200c9f6e02a4f6f87b7e519ff7a (patch)
tree2c96561e6d63f9ece434a865f681bd3409444781 /github-management
parent7f857b125eea2d8e2548cd406a824e581bc0e77f (diff)
Rewrite Bazel+Python instructions
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions