diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-01-11 22:25:19 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-01-11 22:25:19 +0000 |
| commit | f63be3bda31acdc2a88e1cd64770966e73ca0b5d (patch) | |
| tree | de85d7cbdf5b2cc1ba2248e54fc35ecf827a048c /pfinet | |
| parent | 0b3be608ea5b573446f0ff8b82b8c300a65bbbd0 (diff) | |
2001-01-09 Marcus Brinkmann <marcus@gnu.org>
* changelog: Update to reflect Debian upgrade.
* rules: Use --disable-profile wih configure instead no_prof=t
with make.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions