search

AllanBlanchard / tutoriel_wp

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

configure docker build system #37

Closed kdridi closed 3 years ago

kdridi commented 3 years ago

This PR facilitate the building process

AllanBlanchard commented 3 years ago

Thank you for this dockerfile!