Remove unused code
[gram.git] / contrib / format
2020-06-09 Jean THOMASAdd formatting script