diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-19 04:16:43 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-19 04:16:43 -0800 |
commit | 9130fc21789dd3fc7c1a8c89dc992acfb54dbccd (patch) | |
tree | b42cb9f365a75b6299fcb0942eba4be57d941416 /.vscode/settings.json | |
parent | d07fc9735f40e545edda456e15dbab783c500f6a (diff) | |
download | open-axiom-9130fc21789dd3fc7c1a8c89dc992acfb54dbccd.tar.gz |
getConstructorCategory: get it from generated code for category constructors.
Diffstat (limited to '.vscode/settings.json')
0 files changed, 0 insertions, 0 deletions