diff options
| author | David A. Madore <david+git@madore.org> | 2016-04-08 16:08:23 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-04-08 16:08:23 +0200 |
| commit | e6e12a508cb20a0d18e2629620d8b99f7a78d561 (patch) | |
| tree | 322ccc8123e301cba6cd613b7c7e916e9a1bafc8 /vc | |
| parent | 3ec75290d9e47166f6bf7c93fe7bf919977b77e0 (diff) | |
| download | accq205-e6e12a508cb20a0d18e2629620d8b99f7a78d561.tar.gz accq205-e6e12a508cb20a0d18e2629620d8b99f7a78d561.tar.bz2 accq205-e6e12a508cb20a0d18e2629620d8b99f7a78d561.zip | |
Introduce alternative notation "ord" for valuations.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions