All public logs

Combined display of all available logs of RobotinoWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 09:39, 15 May 2019 Verbeek (talk | contribs) created page Jenkins (Created page with "==Install Jenkins== <pre> apt install openjdk-8-jdk wget -q -O - https://pkg.jenkins.io/debian/jenkins.io.key | sudo apt-key add - </pre>")