Removes the empty(!) file fmpz/set_ui
Removes the empty(!) file fmpz/set_ui

wbhart/flint2,dsroche/flint2,fredrik-johansson/flint2,wbhart/flint2,dsroche/flint2,dsroche/flint2,dsroche/flint2,jpflori/flint2,wbhart/flint2,jpflori/flint2,jpflori/flint2,fredrik-johansson/flint2,jpflori/flint2,fredrik-johansson/flint2