Depfile

[JimE]

Maybe I missed it, but I don't see a topic noting the recent name change by depfile.  Host recently changed from depfile to dipfile.

[JimE]

Actually, it looks like they are using both urls. dipfile redirects to depfile now (last week it was the opposite)

[mental]

I added dipfile

[JimE]

Thank you sir.