add message with commands

2023-04-12 18:23:31 +03:00
parent 2da76827d5
commit 74928e82ae
1 changed files with 7 additions and 0 deletions
@@ -5,3 +5,10 @@
 "Создание формальной модели безопасности ИС с использованием платформы Rodin"


+git init
+
+git config user.name "tebenkov ivan"
+git config user.email "stud160937@vyatsu.ru"
+git add .
+
+