diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-07 20:31:45 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-07 20:31:45 +0000 |
commit | 269e498bfcc6f46e578ebd69b9bdc67255f90aa7 (patch) | |
tree | 55c0600fffd14ec0632788f09259b6d098b26c64 /doc/gpl.texi | |
parent | 4db4d2b0721b66df4724dae4a0d350758457eb35 (diff) | |
download | mdk-269e498bfcc6f46e578ebd69b9bdc67255f90aa7.tar.gz mdk-269e498bfcc6f46e578ebd69b9bdc67255f90aa7.tar.bz2 |
trace->tracing
Diffstat (limited to 'doc/gpl.texi')
0 files changed, 0 insertions, 0 deletions