From e4324d3d1d3bf3568d4e2f3b80c9cc324d324f83 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Thu, 11 Jul 2024 04:34:21 +0900 Subject: chore: rename BUGS.txt to BUGS --- TODO | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TODO') diff --git a/TODO b/TODO index 806c6ef..fdaa145 100644 --- a/TODO +++ b/TODO @@ -1,6 +1,6 @@ * Support text format (.wat) * Implement validation -* Fix known bugs (BUGS.txt) +* Fix known bugs (BUGS) * Implement NaN propagation * Provide sane bindings to PHP * Write PHPDoc for public APIs -- cgit v1.2.3-70-g09d2