summaryrefslogtreecommitdiff
path: root/.gitmodules
AgeCommit message (Expand)Author
2019-02-20Ignore "dirty" submoduleMarcello Stanisci
2019-02-20Update submoduleMarcello Stanisci
2017-11-24submoduleMarcello Stanisci