diff options
| author | Juanma Barranquero | 2008-07-31 10:04:21 +0000 |
|---|---|---|
| committer | Juanma Barranquero | 2008-07-31 10:04:21 +0000 |
| commit | 58e3d8e8e6dd804783e22472c48382f3e1e29a94 (patch) | |
| tree | 224493221cae5689d4536b59a98c7c94dcb5fe03 /admin/revdiff | |
| parent | 82cc191629c201c29a8d37d255170bb624909151 (diff) | |
| download | emacs-58e3d8e8e6dd804783e22472c48382f3e1e29a94.tar.gz emacs-58e3d8e8e6dd804783e22472c48382f3e1e29a94.zip | |
* os.texi: Fix previous change.
Diffstat (limited to 'admin/revdiff')
0 files changed, 0 insertions, 0 deletions