Commit Graph

3 Commits

Author SHA1 Message Date
github-actions
8a2de9842b formatting source-code for 153fb7b8a5 2020-05-30 04:02:09 +00:00
github-actions
7ad1f171c1 formatting source-code for d7af6fdc8c 2020-05-29 23:26:30 +00:00
Christian Clauss
ab12ed4a14
rename Backtracking -> backtracking (#654) 2019-11-28 13:37:04 +01:00