aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterUpdate guards.Masaya Tojo5 weeks
 
 
AgeCommit messageAuthor
2021-08-22Update guards.HEADmasterMasaya Tojo
2021-08-22Add Makefile.Masaya Tojo
2021-08-22Update.Masaya Tojo
2021-08-22Add standard-52-card-deck submodule.Masaya Tojo
2021-08-21Rename functions and theorems.Masaya Tojo
2021-08-21Remove gitlab-ci.ymlMasaya Tojo
2021-02-04Update CI settingsMasaya Tojo
2021-02-03Update CI settingsMasaya Tojo
2021-02-03Update CI settings.Masaya Tojo
2021-02-02Add CI settings.Masaya Tojo
[...]