summaryrefslogtreecommitdiff
path: root/hack/verify-generated-docs.sh
diff options
context:
space:
mode:
authorBob Killen <rkillen@umich.edu>2019-06-19 20:42:06 -0400
committerBob Killen <rkillen@umich.edu>2019-06-19 20:42:06 -0400
commit8c3e3bfa3a95eea50a107633b0d8b511ed8973d8 (patch)
tree4433428c7f2236d7c8cebb441cc8e5bae05e8127 /hack/verify-generated-docs.sh
parenta1871eed9142a6478a4e895f477c97adf755622d (diff)
Replace mrbobbytables with nzoueidi as New Membership Coordinator.
Diffstat (limited to 'hack/verify-generated-docs.sh')
0 files changed, 0 insertions, 0 deletions