Skip to content

(exa PR) 1121: Add some compiled file#34

Merged
cafkafk merged 1 commit into
mainfrom
pr-1121
Jul 30, 2023
Merged

(exa PR) 1121: Add some compiled file#34
cafkafk merged 1 commit into
mainfrom
pr-1121

Conversation

@cafkafk

@cafkafk cafkafk commented Jul 29, 2023

Copy link
Copy Markdown
Member

@cafkafk cafkafk changed the title (exa PR) 1121 (exa PR) 1121: Add some compiled file Jul 29, 2023
@cafkafk cafkafk added not ready for PRs that aren't finished needs feedback labels Jul 29, 2023
@sbatial sbatial mentioned this pull request Jul 30, 2023
63 tasks

@sbatial sbatial left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

I do not use TeX anymore/right now but this looks fine

@cafkafk cafkafk merged commit 1e4db1e into main Jul 30, 2023
@sbatial sbatial deleted the pr-1121 branch July 30, 2023 15:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs feedback not ready for PRs that aren't finished

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants