Difference between revisions of "User:Jenkins"
(Created page with "This is a bot account used by ImageJ Jenkins jobs.")
|Line 1:||Line 1:|
This is bot account used by ImageJ [[Jenkins]] jobs.
Revision as of 10:26, 22 November 2019
This is bot account was used by ImageJ Jenkins jobs.