#!/bin/sh
#
# Promemoria per l'uso futuro di indent.
#
indent -di16 -l72 -lc72 $1 -o $1.reindented