Closed chusopr closed 10 years ago
Currently, bookmarklet is created as "+Casimir". I think that it would be more useful to use INSTANCE_NAME.
Currently, bookmarklet is created as "+Casimir". I think that it would be more useful to use INSTANCE_NAME.