CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/03/23 04:31:17
Modified files:
devel/frama-c : Makefile
Log message:
Use FIX_EXTRACT_PERMISSIONS
CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/03/23 04:31:17
Modified files:
devel/frama-c : Makefile
Log message:
Use FIX_EXTRACT_PERMISSIONS