diff options
| author | Emilio Jesus Gallego Arias | 2020-05-20 00:09:19 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-20 14:20:28 +0200 |
| commit | e0dc8cb0aa1c09c3cb461c34ad714c2284270844 (patch) | |
| tree | 42a436d691b67d1445ddc01b691f4adec313c715 /tools | |
| parent | 7db54ab97f7115493f43f17e0d7547bbd33aa5fd (diff) | |
[obligations] [nit] Refactor obligation printing.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions