diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-10-02 09:46:27 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-10-02 09:46:27 +0200 |
| commit | 10a8b1d380cd5932ce1862a3d3eb156e6d797a9e (patch) | |
| tree | f1c92bbeb46cc15cc252d71dc6ec2896cc3b5e2c /editor/doc | |
| parent | 09bf1b35c0310617924fc4eaca32d5b91460d492 (diff) | |
Remove obsolete `sort_demos.sh` script
The Project Manager now sorts projects by name by default,
making this script redundant.
Diffstat (limited to 'editor/doc')
0 files changed, 0 insertions, 0 deletions