Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Drop type comments entirely #5107

Merged
merged 1 commit into from
Jan 23, 2022
Merged

Drop type comments entirely #5107

merged 1 commit into from
Jan 23, 2022

Commits on Jan 23, 2022

  1. Drop type comments entirely 

    This feature is only useful for reverse-engineering purposes since we
have platform-aware comparison. Reverse-engineering is not enough to
justify having that feature, and ORM metadata reverse-engineered from
the database can still be adjusted afterwards.
    @greg0ire
    greg0ire committed Jan 23, 2022
    Configuration menu
    Copy the full SHA
    eb1729d View commit details
    Browse the repository at this point in the history