Fixed a bug where file wouldn't save due to batch grader updates#621

Merged

charlestian23 merged 2 commits intoBram-Hub:puzzle_editor-short_truth_tablefrom charlestian23:puzzle_editor-short_truth_table

Sep 29, 2023

+3

Commits on Sep 29, 2023

Fixed a bug where file wouldn't save due to batch grader updates
charlestian23
committed
Merge branch 'puzzle_editor-short_truth_table' into puzzle_editor-short_truth_table
charlestian23
authored