diff options
| author |  Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-16 12:13:45 -0600 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-16 12:13:45 -0600 |
| commit | 75a179354ea7b78682904575d5692efa0068fcf0 (patch) | |
| tree | d08229c9b1fd7a159d7bf9023b7bb8c091678557 /Test/test1/AttributeTyping.bpl | |
| parent | f049d2ec646244bc40964b36d961966fe2a3e4dc (diff) | |
Add a test.
Diffstat (limited to 'Test/test1/AttributeTyping.bpl')
0 files changed, 0 insertions, 0 deletions