diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-01-17 00:15:00 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-01-17 00:15:00 +0100 |
| commit | 00330f396d358cf605f91419a376fc0acaaf2c51 (patch) | |
| tree | 09bb542e06d5a5c7dbfc5c731ea9253cbbf5f98d /doc/install.texi | |
| parent | 4b1775a30663a0b4dfe4ef42d397bade69ef31ba (diff) | |
| download | geiser-00330f396d358cf605f91419a376fc0acaaf2c51.tar.gz geiser-00330f396d358cf605f91419a376fc0acaaf2c51.tar.bz2 | |
Correct indentation for syntax-id-rules
Hat tip Marijn.
Diffstat (limited to 'doc/install.texi')
0 files changed, 0 insertions, 0 deletions