Rémi Verschelde 12d80e9d83
Merge pull request #22613 from lupoDharkael/del-manager
Project manager: remove projects with delete key
2018-10-02 13:49:24 +02:00
..
2018-09-12 21:39:17 -04:00
2018-09-14 09:27:56 -05:00
2018-09-14 09:27:56 -05:00
2018-08-21 17:13:16 -03:00
2018-09-14 09:27:56 -05:00