aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
Commit message (Expand)AuthorAge
* Add coq-scripts submodule for timing scriptsJason Gross2016-06-22