Code

fix: remove lint-related codes#266

Code

Merged

cburstedde merged 4 commits intocburstedde:developcburstedde/p4est:developfrom SAutum:feature-remove-lintSAutum/p4est:feature-remove-lintCopy head branch name to clipboardDec 20, 2023

+3-168

Commits

Commits on Dec 6, 2023

• fix: remove lint-related codes

  

  Hongli Lin

  committed
  7e74b77

  Copy full SHA for 7e74b77

Commits on Dec 19, 2023

• Merge branch 'develop' into feature-remove-lint

  cburstedde

  committed
  1e9c98f

  Copy full SHA for 1e9c98f

• Remove obsolete code related to lint

  cburstedde

  committed
  1832177

  Copy full SHA for 1832177

• Update libsc to latest develop branch

  cburstedde

  committed
  21b8539

  Copy full SHA for 21b8539