diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-14 16:12:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-14 16:12:56 +0200 |
| commit | b21a1232baf9db42cc57e32ecaf5abc0d0b05c86 (patch) | |
| tree | 6c89044e3dc82eb673ffea5fc54b46d2405e536a /.gitignore | |
| parent | ffe61e63d145b6e12a9f259259bb097777e7f1ae (diff) | |
| parent | 9c7b4c82a7223fe390e475265553f1e88a93b87a (diff) | |
Merge pull request #9173 from StraToN/signal-descriptions
[master] Add Signals descriptions when they exist.
[ci skip]
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions