Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[fix] Rename ims.ostis #408

Merged
merged 2 commits into from
Aug 1, 2024
Merged

Conversation

MakarenkoAI
Copy link
Contributor

@MakarenkoAI MakarenkoAI commented Jun 11, 2024

After approve add updated translated_scs
ostis-ai/tex2scs-translator#23
ostis-ai/ostis-metasystem#53

Contents/part_intro/src/sd_sem_inf_rep.tex Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
Copy link
Contributor

@ShunkevichDV ShunkevichDV left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

С учетом комментария от Максима

@MksmOrlov MksmOrlov removed the request for review from PetrochukKsenija June 19, 2024 09:33
@MakarenkoAI MakarenkoAI self-assigned this Jun 23, 2024
@MakarenkoAI MakarenkoAI force-pushed the fix/ims.ostis branch 2 times, most recently from 78fb325 to 3e10df4 Compare August 1, 2024 15:27
@MakarenkoAI MakarenkoAI merged commit ca71949 into ostis-ai:main Aug 1, 2024
@MakarenkoAI MakarenkoAI deleted the fix/ims.ostis branch August 1, 2024 15:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants