Merge branch 'dev' into 563-dev-highlight-fixes

64a9dd42 · Przemyslaw Kaminski · 02129e3d · b7996a09 · 64a9dd42
Verified Commit 64a9dd42 authored Jul 15, 2023 by Przemyslaw Kaminski
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

package.json package.json +1 -1

No files found.
--- a/package.json
+++ b/package.json
 {
    "name": "Gargantext",
-    "version": "0.0.6.9.9.7.2",
+    "version": "0.0.6.9.9.7.3",
    "scripts": {
        "generate-purs-packages-nix": "./nix/generate-purs-packages.nix",
        "generate-psc-packages-nix": "./nix/generate-packages-json.bash",