remove webpack

leanprover-community · Oct 21, 2023 · 020157d · 020157d
1 parent c9d04c4
commit 020157d
Show file tree

Hide file tree

Showing 4 changed files with 192 additions and 4,739 deletions.
diff --git a/client/src/editor/leanclient.ts b/client/src/editor/leanclient.ts
@@ -606,16 +606,16 @@ export class LeanClient implements Disposable {
   //   return false
   // }
 
-  private extractVersion (v: string | undefined): SemVer {
-    if (!v) return new SemVer('0.0.0')
-    const prefix = 'Lake version'
-    if (v.startsWith(prefix)) v = v.slice(prefix.length).trim()
-    const pos = v.indexOf('(')
-    if (pos > 0) v = v.slice(0, pos).trim()
-    try {
-      return new SemVer(v)
-    } catch {
-      return new SemVer('0.0.0')
-    }
-  }
+  // private extractVersion (v: string | undefined): SemVer {
+  //   if (!v) return new SemVer('0.0.0')
+  //   const prefix = 'Lake version'
+  //   if (v.startsWith(prefix)) v = v.slice(prefix.length).trim()
+  //   const pos = v.indexOf('(')
+  //   if (pos > 0) v = v.slice(0, pos).trim()
+  //   try {
+  //     return new SemVer(v)
+  //   } catch {
+  //     return new SemVer('0.0.0')
+  //   }
+  // }
 }