Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-25 23:46:04 +08:00
Code Issues Actions 25 Packages Projects Releases Wiki Activity

[tool] fix create module script

Browse Source
This commit is contained in:
Gautier Hattenberger
2013-11-06 17:58:04 +01:00
parent da012dc9b5
commit 69684d1994
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
create_module
+1 -1
View File
@@ -134,7 +134,7 @@ let code_file = name^".c";;
let xml_header_of_name = fun n ->
[Xml.Element ("header", [], [
Xml.Element ("file", [("file", n)], [])
Xml.Element ("file", [("name", n)], [])
])];;
let xml_of_description = fun d ->