summarylogtreecommitdiffstats
path: root/.gitignore
AgeCommit message (Expand)Author
2022-08-02bump to avoid warns, remove mistakenly committed buildAlessandro Cerruti
2022-08-02update, move to ninjaAlessandro Cerruti