search

Gandi-IDE / custom-extension

GNU Lesser General Public License v2.1
43 stars 62 forks source link

Update str_mani.js #212

Closed qxsck closed 7 months ago

qxsck commented 7 months ago

fix format, merge some blocks

qxsck commented 7 months ago

先关闭，与其他修改一起提交