kmc7468/cs220
1
0
Fork 0
mirror of https://github.com/kmc7468/cs220.git synced 2025-12-15 06:28:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
199 Commits 1 Branch 0 Tags
8bfbd8f90e634c91f2446e6f77ccd4805fc0bf4e
Commit Graph

6 Commits

Author SHA1 Message Date
Janggun Lee
c58e90f81c Fix submission script. 2024-09-05 15:51:40 +09:00
Janggun Lee
af889722bc Cleanups 2024-07-30 15:26:33 +09:00
WoojinLee
41b699cf1a modify submit.sh 2023-10-26 06:50:56 +00:00
AnHaechan
1e07909175 submission script for why3 assignment 2023-08-29 11:45:24 +09:00
woojin
ae4556d087 modify submission file 2023-08-28 17:16:34 +09:00
woojin
2b19548cb0 edit submit.sh file 2023-08-28 17:16:34 +09:00