Skip to content

fix: rename file to yathesis.dtx#107

Open
olirwin wants to merge 1 commit intodbitouze:masterfrom
olirwin:master
Open

fix: rename file to yathesis.dtx#107
olirwin wants to merge 1 commit intodbitouze:masterfrom
olirwin:master

Conversation

@olirwin
Copy link
Contributor

@olirwin olirwin commented Nov 27, 2025

Apparemment il y a eu une magouille avec l'éditeur en ligne de GitHub sur la dernière PR (#106), je corrige en renommant le fichier...
Normalement ça devrait de nouveau être tout bon.
(@dbitouze je t'envoie un mail directement 😉)

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.

1 participant