diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-08-03 21:08:53 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-08-03 21:08:53 +0200 |
| commit | b01ae20614057cc982bc51256873aa73157667a4 (patch) | |
| tree | b95798fa4a9ce574c428a1a4f21c79f0019f6d52 /make-doc.sh | |
| parent | a3b5b2f60546ebaebdc691b8f83146eac0ad131e (diff) | |
remove id tags. the wiki also takes care of this. wheee
Diffstat (limited to 'make-doc.sh')
0 files changed, 0 insertions, 0 deletions