forge-joniko/ldc-startcoq
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
86 commits 5 branches 0 tags 2.1 MiB
Commit graph

1 commit

Author SHA1 Message Date
Jérémy Munsch
99f7545595
Closes #32 Multiple file inputs for all doc types 2023-09-11 16:55:46 +02:00