Compare commits

..

No commits in common. "4bdbb733740ab4abad5297174c5410fc95aefb61" and "74928e82aea1cd39c776dcc18bcdc12db197fda3" have entirely different histories.

View File

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