Merge pull request #1597 from open-domains/Fix

Browse Source

Rename red2b2t.domain.json to red2b2t.is-not-a.dev.json

...

This commit is contained in:

DIBSTER authored and GitHub committed 2024-10-03 14:43:14 -04:00

2 parents 5e810e7858 1c59e9d14c

commit 5a19a465ce

1 file changed

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

domains/red2b2t.domain.json → domains/red2b2t.is-not-a.dev.json

File renamed without changes.