Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | Update guards. | Masaya Tojo | 3 years | |
Age | Commit message | Author | ||
2021-08-22 | Update guards.HEADmaster | Masaya Tojo | ||
2021-08-22 | Add Makefile. | Masaya Tojo | ||
2021-08-22 | Update. | Masaya Tojo | ||
2021-08-22 | Add standard-52-card-deck submodule. | Masaya Tojo | ||
2021-08-21 | Rename functions and theorems. | Masaya Tojo | ||
2021-08-21 | Remove gitlab-ci.yml | Masaya Tojo | ||
2021-02-04 | Update CI settings | Masaya Tojo | ||
2021-02-03 | Update CI settings | Masaya Tojo | ||
2021-02-03 | Update CI settings. | Masaya Tojo | ||
2021-02-02 | Add CI settings. | Masaya Tojo | ||
[...] |