Code

Fix new and some old warnings#518

Code

Merged

sxhya merged 1 commit intoJetBrains:masterJetBrains/intellij-arend:masterfrom alex999990009:alex99999/warningsalex999990009/intellij-arend:alex99999/warningsCopy head branch name to clipboardJun 18, 2024

+19-17

Commits

Commits on Jun 18, 2024

• Fix new and some old warnings

  alex999990009

  committed
  0874e61

  Copy full SHA for 0874e61