gap-packages / guava

GAP package guava - computations relative to error-correcting codes
https://gap-packages.github.io/guava
Other
13 stars 7 forks source link

Merge README.guava and README.md #67

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

When visiting this repository one is shown the almost empty README.md. I would suggest to delete the current README.md, then rename README.guava to either just README, or else convert it to proper Markdown and rename it to README.md.

In either case, README_URL in PackageInfo.g will need to be adjusted to match the new name, too.