From b24b147b3456b3afdb51fb03253da1de3478d63e Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Thu, 26 Oct 2023 13:37:42 +0200 Subject: misc --- .devcontainer/devcontainer.json | 4 ++-- .devcontainer/requirements.txt | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to '.devcontainer') diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index c3fc20e..70c3683 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -47,7 +47,7 @@ // Comment out connect as root instead. More info: https://aka.ms/vscode-remote/containers/non-root. "remoteUser": "vscode", "features": { - "git": "os-provided", - "git-lfs": "latest" + "git": "os-provided" + //"git-lfs": "latest" } } diff --git a/.devcontainer/requirements.txt b/.devcontainer/requirements.txt index 28fee9e..e36b067 100644 --- a/.devcontainer/requirements.txt +++ b/.devcontainer/requirements.txt @@ -1,2 +1,2 @@ -ACT4E-exercises -pre-commit \ No newline at end of file +ACT4E-exercises>=7.3.2310261331 +pre-commit -- cgit v1.2.1