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 | 6b8c1fb4dcc0b183bb0703f2e71b316550c51089 (patch) | |
| tree | 25975689873a7635491a8445e0e3869dfd184bd1 /tools | |
| parent | 1cb6764bee65868c4e8c053d368553c09baf0b65 (diff) | |
Restoring authorship annotation for <[email protected]>. Commit 1 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 52c63e3e978..9c9bde2c239 100644 --- a/tools/.arcignore +++ b/tools/.arcignore @@ -1,2 +1,2 @@ -run.sh -tools-acceleo +run.sh +tools-acceleo |