added profile option to superscript

Former-commit-id: ea07d7c709
This commit is contained in:
Arthur Lu
2021-08-19 00:34:42 +00:00
parent 76f78047b3
commit 11d3db4b44
2 changed files with 32 additions and 12 deletions

2
.gitignore vendored
View File

@@ -11,7 +11,7 @@
**/*.pid
**/profile
**/profile.*
**/errorlog.txt
/dist/superscript.*