Compare commits

..

No commits in common. "5e98a17d6988c1fda149d6800b2c0c67da1367db" and "e9ea3260036861778cd68bb2c4f3540ee859ae21" have entirely different histories.

View file

@ -35,12 +35,6 @@
version = "0.0.13"; version = "0.0.13";
sha256 = "sha256-N5XMHW6UadKjE29p2vevtjgqLA4QysYu2xT3njmyHLk="; sha256 = "sha256-N5XMHW6UadKjE29p2vevtjgqLA4QysYu2xT3njmyHLk=";
} }
{
name = "gemini-improved";
publisher = "printfn";
version = "1.0.6";
sha256 = "sha256-PqDBxCT+7wApSwESJRgEes4+sItIF7T3KsIlVaNj2Fg=";
}
{ {
name = "hadolint"; name = "hadolint";
publisher = "exiasr"; publisher = "exiasr";
@ -200,7 +194,6 @@
"git.ignoreLegacyWarning" = true; "git.ignoreLegacyWarning" = true;
"github.copilot.enable" = { "github.copilot.enable" = {
"*" = true; "*" = true;
"gemini" = false;
"markdown" = false; "markdown" = false;
"plaintext" = false; "plaintext" = false;
"properties" = false; "properties" = false;