Skip to content

rename file, to fix problem with detecting license on documentation site#17

Merged
arjenderijke merged 1 commit intoMonetDB:masterfrom arjenderijke:masterJan 30, 2024

Commits