Uses of Package org.jedit.migration (jEdit API Documentation)

# Uses of Package
org.jedit.migration

- Packages that use org.jedit.migration
  Package | Description
  --- | ---
  org.jedit.migration | One-time migration steps

- Classes in org.jedit.migration used by org.jedit.migration
  Class | Description
  --- | ---
  OneTimeMigrationService | Base class from which one can more easily implement a migration step that should be executed only once per installation.