diff options
| author | flack <[email protected]> | 2022-02-10 16:51:06 +0300 |
|---|---|---|
| committer | Daniil Cherednik <[email protected]> | 2022-02-10 16:51:06 +0300 |
| commit | 2254205722469aae03d57ed1b9923153faa2765e (patch) | |
| tree | 5d5cb817648f650d76cf1076100726fd9b8448e8 /tools | |
| parent | 6b8c1fb4dcc0b183bb0703f2e71b316550c51089 (diff) | |
Restoring authorship annotation for <[email protected]>. Commit 2 of 2.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/.arcignore | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/.arcignore b/tools/.arcignore index 9c9bde2c239..52c63e3e978 100644 --- a/tools/.arcignore +++ b/tools/.arcignore @@ -1,2 +1,2 @@ -run.sh -tools-acceleo +run.sh +tools-acceleo |