4 ms·
Does this github project handle the scenario where some of the URLs become dead links or some of the domains expire? Automatically, these links/domains need not
by gansai 13y ago
Does this github project handle the scenario where some of the URLs become dead links or some of the domains expire?
Automatically, these links/domains need not be shown to the user.
- vhf 13y agoHi, repo owner here. Yep, I'm doing my best to keep dead links out. See this issue for example : https://github.com/vhf/free-programming-books/issues/850 https://github.com/vhf/free-programming-books/issues/850
- MaysonL 12y agoHi, missing Project Oberon (see projectoberon.com). Also, should credit Wirth as author of Compiler Construction.
- Bahamut 13y agoJust with any other github project, you can fork it and submit pull requests to address when that happens.