jerry/ops
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

deploy 995ba85d (PR#74 html render)

Browse Source
This commit is contained in:
jerry
2026-08-29 23:50:25 +00:00
parent 0ddc0a5817
commit fcdfb82332
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
manifest.json
View File

@@ -1,6 +1,6 @@
{ {
"sha": "4a08f47939e9287c5271509747ad5c0207216cc8", "sha": "995ba85dbe0d5ab0ad9f2ca48a1500ed4e23297e",
"frontend_file_id": "c59218bd-1ffb-48f1-ae66-a5dfe9e7778a", "frontend_file_id": "cc2ffc9d-1828-42a4-86bd-07acd1a45de6",
"frontend_sha256": "8e568166aa92ddd47c8461d935b2cc38a09299219aae6f97a56d2d06835594c4", "frontend_sha256": "d5ec125e146e67ad406e589459bdc2932ece3dcc04650afa4ed54dd60740dac5",
"note": "PR#73: nav Back + popup X" "note": "PR#74: html renders by default"
} }