Completed
Push — master ( 1e96f2...f90ed3 )
by
unknown
02:15
created

No notable changes

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

9.23
▶   ± 0
Head
Oskar Stark  
added captions to TOC tree in docs (#74)
Base
Grégoire Paris  
Merge pull request #73 from shulard/patch-1