Skip to content

Commit

Permalink
indent
Browse files Browse the repository at this point in the history
  • Loading branch information
stefan-aws committed Jan 4, 2024
1 parent 460ba93 commit fd0dbc2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ check:
assets/src/brittleness/verify.sh
assets/src/teaching-material/verify.sh
assets/src/standard-libraries/test.sh
assets/src/semantics-of-regular-expressions/verify.sh
assets/src/semantics-of-regular-expressions/verify.sh
(cd assets/src/clear-specification-and-implementation && ./verify.sh)

generate:
Expand Down

0 comments on commit fd0dbc2

Please sign in to comment.