diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2018-11-22 16:52:13 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2018-11-22 16:52:13 +0100 |
| commit | 2cc7578de4371b1bf998fcf02525273409db4abf (patch) | |
| tree | 99c692ad2f9c45308d8ee18eea060ab8ea6e8960 /src/app/shell/Makefile.inc | |
| parent | 32ce0a8db550c6e899058b2aac7e2f490aa51e93 (diff) | |
prototest: switch to full autogeneration
Diffstat (limited to 'src/app/shell/Makefile.inc')
0 files changed, 0 insertions, 0 deletions