Changelog · 736c5476fb20f12f67d1503412c51f6b04fd7492 · pub / frama-c · GitLab

Snippets Groups Projects

6 years ago

[aorai] Fixes place of comment in Makefile · 736c5476

Virgile Prevosto authored 6 years ago

This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems
in better shape) pushing a nearly empty commit.

736c5476

[aorai] Fixes place of comment in Makefile

Virgile Prevosto authored 6 years ago

This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems
in better shape) pushing a nearly empty commit.

To find the state of this project's repository at the time of any of these versions, check out the tags.