You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The text was updated successfully, but these errors were encountered:
mfranzke
changed the title
should we name this _-type-_ instead of _-typo-_ (sounds german for me ;))
should we name this _-type-_ instead of _-typo-_ (sounds german to me ;))
Oct 10, 2022
mfranzke
changed the title
should we name this _-type-_ instead of _-typo-_ (sounds german to me ;))
question by Anna
Oct 10, 2022
https://github.com/db-ui/base/pull/56/files/a25e32c35115d2a6ca01e5029213c2d1776976e1#diff-e14fb5edf4da8b27c34c9e1f5e1c881e17b8c01583b2fd474516248a983f30b4R40
Originally posted by @annsch in #56 (comment)
The text was updated successfully, but these errors were encountered: