Closed kroepke closed 6 years ago
trivial fix to make the paginated list usable with the number of functions we ship by default these days
this is all done in the frontend, so the impact is minimal
fixes #113
trivial fix to make the paginated list usable with the number of functions we ship by default these days
this is all done in the frontend, so the impact is minimal
fixes #113