Closed etotheipluspi closed 7 years ago
Added finished to exported list
finished
Hi! I am not sure if Tom (or anyone) is currently maintaining this package. That said, this looks pretty uncontroversial to me, so if no one replies to this for a couple days then I'll merge
Added
finished
to exported list