-
Allan Blanchard authored
[distrib] improve distrib script - headers handling Closes #594 and #506 See merge request frama-c/frama-c!3881
65bbf41d
[distrib] improve distrib script - headers handling Closes #594 and #506 See merge request frama-c/frama-c!3881