diff options
| author | bard <[email protected]> | 2024-05-02 15:50:05 -0400 |
|---|---|---|
| committer | bard <[email protected]> | 2024-05-02 15:50:05 -0400 |
| commit | 6002ca7dfb1f6ddcff982802fc6c59759e686378 (patch) | |
| tree | 650bed4b76aeb0233e271d78edf23e90b60716d8 /old-ada/doc/docstyle.texi | |
| parent | d15ce4b6f18df782d2a00fdb034c53cf8be2f457 (diff) | |
remove overrides
Diffstat (limited to 'old-ada/doc/docstyle.texi')
0 files changed, 0 insertions, 0 deletions