| commit | 58e3d8e8e6dd804783e22472c48382f3e1e29a94 | |
| author | Juanma Barranquero <lekktu@gmail.com> | |
| Thu, 31 Jul 2008 10:04:21 +0000 (31 10:04 +0000) | ||
| committer | Juanma Barranquero <lekktu@gmail.com> | |
| Thu, 31 Jul 2008 10:04:21 +0000 (31 10:04 +0000) | ||
| tree | 224493221cae5689d4536b59a98c7c94dcb5fe03 | treesnapshot (tar.gz zip) |
| parent | 82cc191629c201c29a8d37d255170bb624909151 | commitdiff |
* os.texi: Fix previous change.
| doc/lispref/ChangeLog | diffblobblamehistory | |
| doc/lispref/os.texi | diffblobblamehistory |