File tree Expand file tree Collapse file tree 3 files changed +1
-3
lines changed
Expand file tree Collapse file tree 3 files changed +1
-3
lines changed Original file line number Diff line number Diff line change 11title : LiquidJava Docs
2- description : Documentation for LiquidJava, a refinement type checker for Java with support for liquid types and typestates
32theme : just-the-docs
43color_scheme : liquidjava
54liquidjava_api_version : 0.0.4
@@ -15,7 +14,7 @@ permalink: pretty
1514search_enabled : true
1615heading_anchors : true
1716
18- favicon_ico : " /assets/images/iconLJ.png "
17+ favicon_ico : " /assets/images/favicon.ico "
1918
2019aux_links :
2120 liquid-java : https://github.com/liquid-java/liquidjava
Original file line number Diff line number Diff line change 11< link rel ="preconnect " href ="https://fonts.googleapis.com ">
22< link rel ="preconnect " href ="https://fonts.gstatic.com " crossorigin >
33< link href ="https://fonts.googleapis.com/css2?family=Atkinson+Hyperlegible:wght@400;700&family=JetBrains+Mono:wght@400;600&display=swap " rel ="stylesheet ">
4- < link rel ="icon " type ="image/png " href ="{{ '/assets/images/iconLJ.png' | relative_url }} ">
You can’t perform that action at this time.
0 commit comments