From e5c4a10ff914b4b8952a4b13346e75a5ab33d855 Mon Sep 17 00:00:00 2001 From: woclass Date: Sat, 27 Apr 2024 14:44:33 -0500 Subject: [PATCH] Update todo.md link --- development.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/development.txt b/development.txt index 82ae955..a93ce3e 100644 --- a/development.txt +++ b/development.txt @@ -37,7 +37,7 @@ that would be highly valuable to a large number of users.

A longer list of (mostly minor) issues to work on can be found in the -todo.txt file. +todo.md file. If you are interested in contributing to FLINT in any way, or even just want to request a feature, don't hesitate to leave a message on the mailing list!