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

deploy d8fede8e (PR#75 drawer)

Browse Source
This commit is contained in:
jerry
2026-08-30 00:04:05 +00:00
parent fcdfb82332
commit 9be23f7f27
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": "995ba85dbe0d5ab0ad9f2ca48a1500ed4e23297e", "sha": "d8fede8e38fd73e5372eab9d3eb99ca1420ee9b6",
"frontend_file_id": "cc2ffc9d-1828-42a4-86bd-07acd1a45de6", "frontend_file_id": "c3fce680-ea56-4939-883a-78759913d784",
"frontend_sha256": "d5ec125e146e67ad406e589459bdc2932ece3dcc04650afa4ed54dd60740dac5", "frontend_sha256": "c1debcd162cb5f21fea3627e487e4dedb763cdee19670a843e9df5da37733a9a",
"note": "PR#74: html renders by default" "note": "PR#75: notch-safe drawer"
} }