diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-05-05 23:48:55 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-05-05 23:48:55 +0200 |
| commit | 0bc192b0935ffc1bbc4e03013a569493f80bcc8a (patch) | |
| tree | 47b1397e82ebf22df5f96020437b77bed197b98c /gnu-name-system-record-types/Makefile | |
| parent | cfef4ea550cfbf70d3adee6e0b1cd4fbe1adfdbe (diff) | |
creating GNS record type registry
Diffstat (limited to 'gnu-name-system-record-types/Makefile')
| -rw-r--r-- | gnu-name-system-record-types/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu-name-system-record-types/Makefile b/gnu-name-system-record-types/Makefile new file mode 100644 index 0000000..8364f52 --- /dev/null +++ b/gnu-name-system-record-types/Makefile @@ -0,0 +1,2 @@ +check: + recfix --check registry.rec |