Skip to content

Commit

Permalink
exercise tool: update dependencies
Browse files Browse the repository at this point in the history
This slightly improves compilation time, as the total number of \
dependencies is reduced.
  • Loading branch information
coriolinus committed Oct 19, 2019
1 parent 82d1242 commit db5d6dd
Showing 1 changed file with 682 additions and 643 deletions.
Loading

0 comments on commit db5d6dd

Please sign in to comment.