diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-05-23 21:44:51 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-05-23 21:44:51 +0000 |
| commit | a58c7cccf74c865a66a4d8a9c49629bab7fd912f (patch) | |
| tree | 3a02f2d03adc84f056b1281fdc3acf664665cbb1 /serverboot/default_pager.c | |
| parent | 6dfb85a075998483bdd93a189c3d7fd1d859dcec (diff) | |
2002-05-23 Marcus Brinkmann <marcus@gnu.org>
* Makefile: Fix last change properly, by relaxing the rule again
and adding our source dir before the exec dir.
Diffstat (limited to 'serverboot/default_pager.c')
0 files changed, 0 insertions, 0 deletions