search

Gandi-IDE / custom-extension

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

Update str_mani.js #183

Closed qxsck closed 8 months ago

qxsck commented 8 months ago

delete an excess button