add shebang to conf_files so that bootmanager can call it directly
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 29 Dec 2018 13:49:14 +0000 (14:49 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 29 Dec 2018 13:56:29 +0000 (14:56 +0100)
commit7a556edd0f63e4bd7c552398a4de00a5f30d4254
tree1bf7c571dbb6c8488c1cede2321e537eb5800b10
parentb83519d9648e47519995000a3aeebcb0170c68ea
add shebang to conf_files so that bootmanager can call it directly
conf_files.py [changed mode: 0644->0755]