| Author |
Committer |
Branch |
Timestamp |
Parent |
| schanzen |
schanzen |
master |
2021-02-28 12:12 |
master 943729d4 |
|
|
Changeset |
GNS: Housecleaning. Renaming header |
| mod - gnu-name-system-record-types/Makefile |
Diff
File |
| mod - gnu-name-system-record-types/registry.rec |
Diff
File |
