search

danielrademacher / BruhatDecomposition

Other
2 stars 0 forks source link

Rename the repository to `BruhatDecomposition` ? #5

Closed fingolfin closed 2 years ago

danielrademacher commented 2 years ago

Done, thanks!