diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-07-01 19:56:42 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-07-01 19:56:42 +0200 |
| commit | 2d07e5bc1519554d283a3b06879fc9d167c6097f (patch) | |
| tree | 265653a3dc1fa9c2377923f099df3cb6abe20b08 /doc/top.texi | |
| parent | 0348ece4d614a3664289289d8c7daf3ec39a3975 (diff) | |
| download | geiser-2d07e5bc1519554d283a3b06879fc9d167c6097f.tar.gz geiser-2d07e5bc1519554d283a3b06879fc9d167c6097f.tar.bz2 | |
Experiment setting history file coding system
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions