AllanBlanchard / tutoriel_wp

Frama-C and WP tutorial
Other
55 stars 16 forks source link

Fixes typos #62

Closed charlesseizilles closed 1 year ago

AllanBlanchard commented 1 year ago

Can you just rebase your changes on the branch next-version please?