From d51676c2af9bb4057b0a1cb838e9e6a7ba59d295 Mon Sep 17 00:00:00 2001 From: Arthur K Date: Wed, 12 Apr 2023 18:58:43 +0300 Subject: [PATCH] test_fork --- 12042023TIA.txt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/12042023TIA.txt b/12042023TIA.txt index a92adf8..b0f80a7 100644 --- a/12042023TIA.txt +++ b/12042023TIA.txt @@ -4,11 +4,10 @@ "Создание формальной модели безопасности ИС с использованием платформы Rodin" - git init git config user.name "tebenkov ivan" git config user.email "stud160937@vyatsu.ru" git add . - +it