Merge pull request 'test_fork' (#1) from stud160924/1-tia-vyatsu_forked:master into master

Reviewed-on: #1
This commit is contained in:
Иван Тебеньков 2023-04-12 16:06:48 +00:00
commit 4bdbb73374

View File

@ -4,11 +4,10 @@
"Создание формальной модели безопасности ИС с использованием платформы Rodin" "Создание формальной модели безопасности ИС с использованием платформы Rodin"
git init git init
git config user.name "tebenkov ivan" git config user.name "tebenkov ivan"
git config user.email "stud160937@vyatsu.ru" git config user.email "stud160937@vyatsu.ru"
git add . git add .
it