Select Git revision
dev#1
dev#10
dev#12
dev#13
dev#2
dev#3
dev#4
dev#5
dev#6
dev#7
dev#8
dev#9
master