issues
search
ayalac1111
/
GradeIt
GradeIt is an advanced and flexible tool designed to grade various configurations and tasks using an answer key file.
0
stars
0
forks
source link
Name from [FILES:] in feedback file names
#3
Open
ccnadude
opened
2 weeks ago
ccnadude
commented
2 weeks ago
[FILES: w03-rb-confg]
would result in filenames: abcd0001-w03-rb-confg-feedback
[FILES: w03-rb-confg]
would result in filenames: abcd0001-w03-rb-confg-feedback