aboutsummaryrefslogtreecommitdiff
path: root/src/share
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2015-12-27 02:57:00 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2015-12-27 02:57:00 -0800
commitba8d29ccd1dd272f5883fe3d042b1bc38f1ce688 (patch)
tree489b3e47f048e704d9a5bd7996f20dd10fb68fe0 /src/share
parent12c45e096d0e55f6df58366fb670eed0a50cb453 (diff)
downloadopen-axiom-ba8d29ccd1dd272f5883fe3d042b1bc38f1ce688.tar.gz
Simplify representation of constants in functors.
Diffstat (limited to 'src/share')
0 files changed, 0 insertions, 0 deletions