diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-13 11:57:48 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-13 11:57:48 +0000 |
| commit | 6c50f16fc8fa847e6c3245c8654ef5c12efc4bd4 (patch) | |
| tree | f9bfed3d13070398535dfe95b2fec83b068bdf8e /include/Makefile | |
| parent | 92f5a6111a2ae5fe7569c65afe1834382ff9147a (diff) | |
2007-10-13 Thomas Schwinge <tschwinge@gnu.org>
* hurd.texi (Invoking fsysopts): Elaborate on
augmenting-rather-than-replacing policy.
Diffstat (limited to 'include/Makefile')
0 files changed, 0 insertions, 0 deletions