[backend] Repair Seashell reset; fixes #631.

cs136 / seashell

Seashell is an online environment for editing, running, and submitting C programming assignments.

GNU General Public License v3.0

38 stars 19 forks source link

Closed e45lee closed 7 years ago