diff options
| author | Makarius Wenzel | 2001-01-24 19:54:13 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-01-24 19:54:13 +0000 |
| commit | b7da2833cac4a0302bda679f699f935f73bf16cb (patch) | |
| tree | 6f3ef93ad8432c5a4a31f04450b704f02f452774 /phox | |
| parent | 2d3c8e6e3975d929a097307b909523d066fcdc36 (diff) | |
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions