diff options
| author | Makarius Wenzel | 2009-10-17 22:03:06 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-10-17 22:03:06 +0000 |
| commit | 9aed2b41c3222f9c8f2707a37d5d1ea1d3389042 (patch) | |
| tree | 0646da18298d42fe8711c9d2aa931d4873c17d1b /pgshell | |
| parent | 29872e8d7f0244cadfcadefd3262756c659f40b9 (diff) | |
disable indent-tabs-mode for theory mode;
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions