diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-13 03:54:27 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-13 03:54:27 -0800 |
commit | 7a0c86e9fcbccd980eb5d0a94fb0d6d6c1a7b0d6 (patch) | |
tree | 78bfe5460d29b632332ff896afbb9962415d07f3 /src/doc/msgs | |
parent | a2a9f3d7379dc1dfb26c22c890cac0cdf67f759c (diff) | |
download | open-axiom-7a0c86e9fcbccd980eb5d0a94fb0d6d6c1a7b0d6.tar.gz |
GETDATABASE: Remove dead alternatives.
Diffstat (limited to 'src/doc/msgs')
0 files changed, 0 insertions, 0 deletions