Update DEVTools.md

This commit is contained in:
nbats 2023-03-21 10:55:31 -07:00 committed by GitHub
parent d38617cbe0
commit 66b6fe5b60
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -372,6 +372,7 @@
* [DNSPerf](https://www.dnsperf.com/dns-providers-list/) - DNS Provider Rankings
* [GRC DNSBench](https://www.grc.com/dns/benchmark.htm) - DNS Benchmark
* [DNS over HTTPS](https://github.com/curl/curl/wiki/DNS-over-HTTPS) - HTTPS DoH Queries
* [DNS Propagation](https://dnspropagation.net/) - DNS Checker
* [Website Planet Tools](https://www.websiteplanet.com/webtools/), [Webdesign Assistant](https://webdesign-assistant.com/), [xWebTools](https://www.xwebtools.com/), [Tiny Helpers](https://tiny-helpers.dev/) or [CSSAuthor](https://cssauthor.com/) - Site Development Tools
* [CSSMatic](https://www.cssmatic.com/) - CSS Web Design Tools
* [Sympli](https://sympli.io/), [AnimaApp](https://www.animaapp.com/) or [ZeroHeight](https://www.zeroheight.com/) - Development Collaboration Tool