beremiz
Clone
Summary
Browse
Changes
Graph
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes
23 months ago, Edouard Tisserant
87f11a874477
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes
*.pyc
**/__pycache__
.vscode
**/build/**
*.class
**/.svghmithumbs/**
**/my_*.der
**/my_*.pem
tests/tools/Docker/requirements.txt
**/management.json
**/.secret
doc/_build/**
doc/locale/**
C_runtime/**/*.d
C_runtime/**/*.o