diff options
| author | rcardoso <raphael.cardoso@ec-lyon.fr> | 2023-10-02 11:50:40 +0100 |
|---|---|---|
| committer | rcardoso <raphael.cardoso@ec-lyon.fr> | 2023-10-02 11:50:40 +0100 |
| commit | 0558f2380b7c2abbe482b551479282864eb75bf1 (patch) | |
| tree | e6ca94d087dcffd74f575c75706294fcc2c33e9f /.config.gitlab-ci.mk | |
| parent | 197d308359f8a476d0256880a18da2f73d4f26e7 (diff) | |
| download | specs-0558f2380b7c2abbe482b551479282864eb75bf1.tar.gz specs-0558f2380b7c2abbe482b551479282864eb75bf1.zip | |
added a placeholder file in the traces folder to ensure it exists at installation
Diffstat (limited to '.config.gitlab-ci.mk')
0 files changed, 0 insertions, 0 deletions