Cargo format, add CI - Githubissues

tirix / metamath-web

Metamath web server

http://metamath.tirix.org/mpeuni/toc

MIT License

4 stars 0 forks source link

Cargo format, add CI #12

Closed tirix closed 1 year ago