User contributions for Michael Kopp
Results for Michael Kopp talk block log uploads logs
A user with 2 edits. Account created on 21 November 2018.
24 November 2018
- 20:0220:02, 24 November 2018 diff hist +797 Gerrit Introduction add notes for github users
21 November 2018
- 20:5920:59, 21 November 2018 diff hist +115 Branch Guidelines add that qtcreator uses master instead of dev