Code

Make derived methods final override#395

Code

Merged

joroKr21 merged 1 commit intotypelevel:dottytypelevel/kittens:dottyfrom joroKr21:final-overridejoroKr21/kittens:final-overrideCopy head branch name to clipboardOct 12, 2021

+82-87

Commits

Commits on Oct 12, 2021

• Make derived methods final override

  joroKr21

  committed
  615e0dc

  Copy full SHA for 615e0dc