aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-elpi.sh
AgeCommit message (Expand)Author
2018-02-19ci: add elpiEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 17:08:51 +0000