Skip to content
Snippets Groups Projects
Select Git revision
  • f50d24a9fa16305923a84893adaf5ec9d50dfec4
  • develop default protected
  • support-for-intellij-25.1
  • chore/support-for-intellijj-2024.3
  • feature/references
  • feature/commenter-for-aspect-files
  • feature/link-generated-code-and-definition
  • main
  • legacy
  • v0.3.5 protected
  • v0.3.4 protected
  • v0.3.3 protected
  • v0.3.2 protected
  • v0.3.1 protected
  • v0.3.0 protected
  • v0.2.0 protected
16 results

jetbrains-plugin

  • Clone with SSH
  • Clone with HTTPS
    • Johannes Mey's avatar
    Merge branch 'bugfix/nonterminal-renaming' into 'develop'
    Johannes Mey authored 
    Resolve "Renaming of Nonterminal Does Not Rename All Occurences"

Closes #1

See merge request !1
    f50d24a9
    History
    Johannes Mey's avatar f50d24a9
    History
    Name Last commit Last update