summaryrefslogtreecommitdiff
path: root/.gitmodules
AgeCommit message (Expand)AuthorFilesLines
2013-06-03remove reference to piplib from .gitmodulesSven Verdoolaege1-3/+0
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+3