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!