Difference between revisions of "User:Jenkins"
(Created page with "This is a bot account used by ImageJ Jenkins jobs.")
|(One intermediate revision by the same user not shown)|
|Line 1:||Line 1:|
This bot account used by ImageJ [[Jenkins]] jobs.
Latest revision as of 10:26, 22 November 2019
This bot account was used by ImageJ Jenkins jobs.