diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-14 00:15:49 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-14 00:15:49 -0500 |
| commit | bf17ee7422d4ebf55b6eeafea6f6a74cabe2441a (patch) | |
| tree | 73719191571a38ee942fc0002481521e3e3e7ebb /ci/script.sh | |
| parent | 398a5ebc5c7ad10e3278aea7ff61da2644c04748 (diff) | |
pass P0 to init, derive GreaterThanOrEqual for U0
Diffstat (limited to 'ci/script.sh')
0 files changed, 0 insertions, 0 deletions