diff options
author | Pascal Sommer | 2023-01-11 02:11:43 +0000 |
---|---|---|
committer | GitHub | 2023-01-11 02:11:43 +0000 |
commit | 75dfaff33891d0505e3018a8357fa0619ef1fcc2 (patch) | |
tree | f20cc068b867d70933374380631f00eabf0318fa /runtime/themes/monokai_pro_ristretto.toml | |
parent | a8248c50e1017cbba42c602d480d3c4ffa7162a0 (diff) |
Add some function documentations (#5360)
Diffstat (limited to 'runtime/themes/monokai_pro_ristretto.toml')
0 files changed, 0 insertions, 0 deletions