search

MinaProtocol / MIPs

23 stars 18 forks source link

Add MIP numbers to the filenames of MIPs #16

Closed t4top closed 4 months ago

t4top commented 1 year ago

Fix for #15.

kantp commented 4 months ago

Thanks @t4top, looks good!