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 | |
| 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
| -rw-r--r-- | traces/delete_me.vcd | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/traces/delete_me.vcd b/traces/delete_me.vcd new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/traces/delete_me.vcd |