diff options
| -rw-r--r-- | editors/vscode/images/completion.gif | bin | 228894 -> 0 bytes |
| -rw-r--r-- | images/procedure.gif (renamed from editors/vscode/images/procedure.gif) | bin | 179529 -> 179529 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/editors/vscode/images/completion.gif b/editors/vscode/images/completion.gif Binary files differdeleted file mode 100644 index 7531424..0000000 --- a/editors/vscode/images/completion.gif +++ /dev/null diff --git a/editors/vscode/images/procedure.gif b/images/procedure.gif Binary files differindex 6c5d854..6c5d854 100644 --- a/editors/vscode/images/procedure.gif +++ b/images/procedure.gif |
