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