#!/bin/bash -x
## file  bismon/guigtk/indent.sh
## indent options in file .indent.pro
indent bismon-gui-minilisp.h
indent gtkbismonlisp.c
indent jsonbismonlisp.c
indent gtkbismonlisp.c
indent minilisp.c

