double-double/.vscode/settings.json

Pure double-double precision functions *with strict error bounds*.

{
    "liveServer.settings.port": 5501
}