diff --git a/trendy_terminal-0.0.5.toml b/trendy_terminal-0.0.5.toml deleted file mode 100644 index 792cc0bd..00000000 --- a/trendy_terminal-0.0.5.toml +++ /dev/null @@ -1,22 +0,0 @@ -name = "trendy_terminal" -description = "Terminal options, setup, tab completion and hinting." -version = "0.0.5" -website = "https://github.com/pyjarrett/trendy_terminal" - -authors = ["Paul Jarrett"] -maintainers = ["Paul Jarrett "] -maintainers-logins = ["pyjarrett"] -licenses = "Apache-2.0" -tags = ["terminal", "command-line", "console", "vt100"] - -project-files = ["trendy_terminal.gpr"] - -[gpr-set-externals.'case(os)'] -windows = { Trendy_Terminal_Platform = "windows" } -linux = { Trendy_Terminal_Platform = "linux" } -macos = { Trendy_Terminal_Platform = "macos" } - -[origin] -commit = "2667fcafcdc37c82a64eac119242dc8be035535b" -url = "git+https://github.com/pyjarrett/trendy_terminal.git" -