diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 02:58:48 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 02:58:48 -0800 |
| commit | dcc3ba9f9929cfc3047bd2738ee8fa4d88804ca4 (patch) | |
| tree | 75ca226be2acc0ae51a908c49f1f209ba8f886c9 /configure | |
| parent | 5cf787319081158829aa7641884b340bacf7b783 (diff) | |
| download | open-axiom-dcc3ba9f9929cfc3047bd2738ee8fa4d88804ca4.tar.gz | |
Various cleanups
Use `domainDirectory dom` instead of `domainRef(dom,1)`.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions