Completed
Push — master ( e64e7a...e3b2dd )
by Juan José
19s queued 10s
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.13
▶   ± 0
Head
Juan José Nicola  
Merge pull request #61 from wiegandm/prot_doc
1 more commit
Base
Juan José Nicola  
Merge pull request #58 from jjnicola/vt-selection