diff options
| author | Matej Kosik | 2017-04-07 15:11:43 +0200 |
|---|---|---|
| committer | Matej Kosik | 2017-06-01 10:24:16 +0200 |
| commit | dfbb5c5dc82c30dd3bac46d14e5e7190bbe80a9b (patch) | |
| tree | 748745531cc5ef0134f0fcfee503383b3a9e7b23 /theories/Program | |
| parent | 466e6a97c97e83679d49f0867d8f571402e1548f (diff) | |
a solution that works also with make 3.81
Diffstat (limited to 'theories/Program')
0 files changed, 0 insertions, 0 deletions