-
Rusty Russell authored
They currently get classed as "other_files"; they should be entirely ignored. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
7a7fa084
They currently get classed as "other_files"; they should be entirely
ignored.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>