Pk (!12) · Merge requests · algorithmique / cours

Merged pierre.kunzli requested to merge pk into master 3 years ago

Status	Pipeline	Stages	Actions
Passed 00:07:01 3 years ago	wip #18775 pk e64e2b92	Stage: test	Download artifacts No artifacts found
Passed 00:06:59 3 years ago	Merge branch 'master' into pk #18774 pk ea2c797e	Stage: test	Download artifacts No artifacts found
Passed 00:06:56 3 years ago	fix coquille clef #18773 pk e32d5a0b	Stage: test	Download artifacts No artifacts found
Passed 00:07:00 3 years ago	small change #18770 pk ae04f4aa	Stage: test	Download artifacts No artifacts found
Passed 00:06:58 3 years ago	modif inserer #18769 pk bf38d455	Stage: test	Download artifacts No artifacts found
Passed 00:06:58 3 years ago	petite modif inserer_element et placer #18768 pk 10b4a4ed	Stage: test	Download artifacts No artifacts found

Pk