diff options
author | 2023-11-09 11:44:11 +0000 | |
---|---|---|
committer | 2023-11-09 11:44:11 +0000 | |
commit | 1431a8acaf8b28265ddd66de68b32a57dd8d65bf (patch) | |
tree | 39c05dc20ea4206e9615c801f877cbf30019627d /docs/_static/star.png | |
parent | c7da68167b61674566e165955cbd9f518b32d02e (diff) | |
parent | d0e4a9c41e3beac0636df7c04b1ba9d619866afc (diff) |
Merge "Remove CPS-Temporal from RTD"
Diffstat (limited to 'docs/_static/star.png')
-rw-r--r-- | docs/_static/star.png | bin | 486 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/_static/star.png b/docs/_static/star.png Binary files differdeleted file mode 100644 index 570345c77..000000000 --- a/docs/_static/star.png +++ /dev/null |