diff options
| author | David Thompson <dthompson2@worcester.edu> | 2021-12-13 09:51:58 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2021-12-13 09:51:58 -0500 |
| commit | bb07257eace72fd7ba4b3796583cdc66ab112919 (patch) | |
| tree | 89a2e6c39026988c03e2795bb03db8e1a113ca94 /doc/manual.css | |
| parent | f9d2d81f945c7d6fe531cd6ed70292cc90b8940b (diff) | |
doc: Remove text that shouldn't be in the main menu.
Diffstat (limited to 'doc/manual.css')
0 files changed, 0 insertions, 0 deletions