Skip to content

Conversation

@nschonni
Copy link
Contributor

@nschonni nschonni commented Feb 7, 2021

looks like these were from when there was a parent Makefile, but no longer exists

@w3cbot
Copy link

w3cbot commented Feb 7, 2021

nschonni marked as non substantive for IPR from ash-nazg.

@tabatkins tabatkins merged commit 8f6d442 into w3c:main Feb 7, 2021
@nschonni nschonni deleted the stub-makefiles branch February 7, 2021 21:55
@nschonni nschonni restored the stub-makefiles branch February 7, 2021 22:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants