Code

Add delete level option to editor#1789

Code

Merged

weluvgoatz merged 4 commits intoSuperTux:masterSuperTux/supertux:masterfrom mrkubax10:add_option_to_delete_levelmrkubax10/supertux:add_option_to_delete_levelCopy head branch name to clipboardNov 13, 2021

+151-20

Commits

Commits on Jul 12, 2021

• Add delete level option

  mrkubax10

  committed
  7c5f36d

  Copy full SHA for 7c5f36d

• Fix compilation errors

  mrkubax10

  committed
  c0963de

  Copy full SHA for c0963de

• Fix no newline

  mrkubax10

  committed
  f993664

  Copy full SHA for f993664

Commits on Nov 12, 2021

• Use level filename instead of name

  mrkubax10

  committed
  a4cdcd8

  Copy full SHA for a4cdcd8