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 |