diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..82e161c --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +src/libs/* linguist-detectable=false \ No newline at end of file diff --git a/package-lock.json b/package-lock.json index 845ec1b..2f468a3 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "lazyslate", - "version": "1.0.0", + "version": "1.0.2", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "lazyslate", - "version": "1.0.0", + "version": "1.0.2", "license": "MIT", "devDependencies": { "css-loader": "^6.8.1", diff --git a/package.json b/package.json index d4729ee..81c72ce 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { "name": "lazyslate", - "version": "1.0.0", - "description": "## Info", + "version": "1.0.2", + "description": "Lazyslate is a web-based graphical interactive theorem prover based on the slate system.", "scripts": { "build": "webpack --mode production" },