summary refs log tree commit diff
path: root/jenkins
diff options
context:
space:
mode:
authorHubert Chathi <hubert@uhoreg.ca>2019-07-30 23:09:50 -0400
committerHubert Chathi <hubert@uhoreg.ca>2019-07-30 23:09:50 -0400
commit781ade836b05b7e327baa7f927c553941edcc368 (patch)
tree311153b4cc2b7dfcd9f8c15c64896aec111590f5 /jenkins
parentallow devices to be marked as "hidden" (diff)
downloadsynapse-781ade836b05b7e327baa7f927c553941edcc368.tar.xz
apply changes from PR review
Diffstat (limited to 'jenkins')
0 files changed, 0 insertions, 0 deletions