fix: include labels in editor tabs buttons (#44918)

2022-01-25 22:57:17 +01:00
parent 33ddfd01fa
commit 6db9bbbd6e
2 changed files with 1 additions and 2 deletions
--- a/client/src/redux/prop-types.ts
+++ b/client/src/redux/prop-types.ts
@@ -357,7 +357,6 @@ export type ChallengeFile = {
  name: string;
  editableRegionBoundaries: number[];
  usesMultifileEditor: boolean;
-  path: string;
  error: null | string;
  head: string;
  tail: string;