October 2019 Commit Log

Number of Commits:
1
Number of Active Developers:
1
fairhead 2019-10-04 15:01 Rev.: 3573

Inclusion of jean-zay, the new idris machine
LF

70 lines of code changed in 1 file:

September 2019 »

Generated by StatSVN 0.7.0