diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-10-29 17:21:01 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-29 17:21:01 +0000 |
| commit | e259dd525f94576ff40f7ee6a0605229e37506e3 (patch) | |
| tree | 392f68193f82e08b45c1b0bf384c480af4a7beff /test/ada_files | |
| parent | 9a0b604a992730889bcac660db8710f336505262 (diff) | |
| parent | 95b8689835d4d9efca8a513599bcd3d83542c6bd (diff) | |
| download | ale-e259dd525f94576ff40f7ee6a0605229e37506e3.zip | |
Merge pull request #2819 from greg0ire/psalm_extra_options
Add the possiblity to add extra psalm options
Diffstat (limited to 'test/ada_files')
0 files changed, 0 insertions, 0 deletions