Gilles Peskine 23b9d149a2 Fix indentation in generated C file
The indentation now complies with Emacs's "k&r" style.
2018-09-14 10:02:29 +01:00
..
2016-01-12 14:48:03 +00:00
2015-06-23 13:09:10 +02:00
2015-09-09 13:51:05 +02:00