aboutsummaryrefslogtreecommitdiff
path: root/src/doc/ps/h-alldoms.ps
diff options
context:
space:
mode:
authorGabriel Dos Reis <GabrielDosReis@users.noreply.github.com>2022-08-21 13:01:37 -0700
committerGitHub <noreply@github.com>2022-08-21 13:01:37 -0700
commit0f612f581a6d58a4d3ceed0ade26e04681b32e13 (patch)
tree3ad3907873f66a5d9bc463328e5817db0ff83e6e /src/doc/ps/h-alldoms.ps
parent3dc479ae544db8bc9224f183f33cb3e16fe2daac (diff)
downloadopen-axiom-0f612f581a6d58a4d3ceed0ade26e04681b32e13.tar.gz
Boot parser: Remove useless AST functions (#17)
A couple of the Boot AST building functions are identity functions. Remove to reduce obfuscation.
Diffstat (limited to 'src/doc/ps/h-alldoms.ps')
0 files changed, 0 insertions, 0 deletions