GitHub repository: BarbaraCortes/beta21
Created: 2018-05-19T19:58:14Z
Description: Git workshop at semcomp beta 21