diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-08-14 19:32:34 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-08-14 19:32:34 +0000 |
| commit | 934b8495445437b186c41ef1ecaa5ef636ed0ca3 (patch) | |
| tree | beac130f62c59fd6c3f23ced859e9909290459f0 /move-if-change | |
| parent | 52bbb5bffbd66c9bf91a1dd157acb14d3403110f (diff) | |
2002-08-14 Marcus Brinkmann <marcus@gnu.org>
* Makefile: Revert undocumented changes related to devpts that
were checked in unintentionally with the last change.
Diffstat (limited to 'move-if-change')
0 files changed, 0 insertions, 0 deletions