fix doc typo - Githubissues

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

http://arblib.org/

GNU Lesser General Public License v2.1

455 stars 137 forks source link

Closed Joel-Dahne closed 4 years ago

Joel-Dahne commented 4 years ago

Trying to do some automatic parsing of the documentation in relation to Arblib.jl I ran into this parsing error.

fredrik-johansson commented 4 years ago

Thanks!