diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-09 05:14:04 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-09 05:14:04 -0800 |
commit | cbeff4602e9a7df7acbaf09852461b0890f20fb2 (patch) | |
tree | bd33af0455a62e77c87929572eb09216b4f0eb50 /src/graph/include/main3d.H1 | |
parent | 2ef9a67216e957e9e80d882597524ce52792a8dc (diff) | |
download | open-axiom-cbeff4602e9a7df7acbaf09852461b0890f20fb2.tar.gz |
Remove $AncestorsTable. Adjust users.
Diffstat (limited to 'src/graph/include/main3d.H1')
0 files changed, 0 insertions, 0 deletions