diff options
| author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-06 08:32:42 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-06 08:32:42 (GMT) |
| commit | 0b558e98d4275e8a3052290ec1584ec25d348073 (patch) | |
| tree | d7212cc01263fd2e49e1f1aeb293d6d620ba2347 /bin/Makefile.am | |
| parent | a757c6040cbff1a48525b8c629a41fd9a73d1270 (diff) | |
Factor out intro initialization from the shell script.
Diffstat (limited to 'bin/Makefile.am')
0 files changed, 0 insertions, 0 deletions