diff options
| author | David Aspinall | 2000-04-07 14:03:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-07 14:03:52 +0000 |
| commit | e0f49c585004b33476039f0ab2734dba95155e2f (patch) | |
| tree | 7afce136c033894d22c1d7055dee668173ece0c2 /html/projects/corba.html | |
| parent | c9131112526984c135c29e0b3dd465642e05d5fd (diff) | |
Tweak to disable_pr function to allow for it being called twice (why?).
Diffstat (limited to 'html/projects/corba.html')
0 files changed, 0 insertions, 0 deletions