fix: update Unicode.lean

2022-02-20 04:50:04 +08:00 · 2022-02-20 04:50:04 +08:00 · 794923a997
parent 189e5dacdb
commit 794923a997
1 changed files with 1 additions and 1 deletions
--- a/lakefile.lean
+++ b/lakefile.lean
@ -11,7 +11,7 @@ package «doc-gen4» {
    },
    {
      name := `Unicode
-      src := Source.git "https://github.com/xubaiw/Unicode.lean" "88ad4aacfcc7ab941a22c54de3e4fef0809cda87"
+      src := Source.git "https://github.com/xubaiw/Unicode.lean" "3b7b85472d42854a474099928a3423bb97d4fa64"
    }
  ]
 }