diff options
| author | Daniel <[email protected]> | 2024-07-25 20:29:49 -0400 |
|---|---|---|
| committer | Daniel <[email protected]> | 2024-07-25 20:29:49 -0400 |
| commit | 73d93b40ee011ae3a5119a40dfbd2b0036bb227d (patch) | |
| tree | 833f932c7b15c3905ef6f0e2ea46bfbd3a0338e1 /old-ada/doc/build.sh | |
| parent | ab5303981cf7a11f398a0cca54febbb68dd6152c (diff) | |
better org-prio face
Diffstat (limited to 'old-ada/doc/build.sh')
0 files changed, 0 insertions, 0 deletions