diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2016-07-19 11:56:01 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2016-07-19 11:56:01 -0600 |
| commit | 6bf5043aeab0430325c4ccde3e6ca3bd82d96704 (patch) | |
| tree | a5a31ea3700cef05d44c14f76b85b9e279c9c4df /Test/textbook/DivMod.bpl | |
| parent | f3f704edfb2cd1021d811050c72694767710217f (diff) | |
fixed floatceiling function
Diffstat (limited to 'Test/textbook/DivMod.bpl')
0 files changed, 0 insertions, 0 deletions