From 74928e82aea1cd39c776dcc18bcdc12db197fda3 Mon Sep 17 00:00:00 2001
From: tebenkov ivan <stud160937@vyatsu.ru>
Date: Wed, 12 Apr 2023 18:23:31 +0300
Subject: [PATCH] add message with commands

---
 12042023TIA.txt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/12042023TIA.txt b/12042023TIA.txt
index 87a682b..a92adf8 100644
--- a/12042023TIA.txt
+++ b/12042023TIA.txt
@@ -5,3 +5,10 @@
 "Создание формальной модели безопасности ИС с использованием платформы Rodin"
 
 
+git init
+
+git config user.name "tebenkov ivan"
+git config user.email "stud160937@vyatsu.ru"
+git add .
+
+