diff options
| author | Brian Paul <[email protected]> | 2001-01-23 23:35:47 +0000 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2001-01-23 23:35:47 +0000 |
| commit | ab0c886a6c0dd38ac6168c2a239720a761e6578f (patch) | |
| tree | b1ba28e6f370146e36f5a5db0526ba7c416c1d7d /Make-config | |
| parent | f2718b0966f54049056e16e7cca08718341557b2 (diff) | |
added dispatch override mechanism, used by trace extension
Diffstat (limited to 'Make-config')
0 files changed, 0 insertions, 0 deletions