Reply to comment

Juli 30, 2018, 5:32 nachm. -  Viktor Garske

I didn't mention a particular file because it depends on your provider / hoster. Some hosters let you edit the zone file using their web interface, some have an assistant to add DNS records / entries. Just ask them how to add DNS TXT records.