added profile option to superscript

This commit is contained in:
Arthur Lu
2021-08-19 00:34:42 +00:00
parent 342dae3022
commit ea07d7c709
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.*