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