diff options
| author |  Amin Timany <amintimany@gmail.com> | 2017-04-06 19:03:24 +0200 |
|---|---|---|
| committer |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-06-16 04:45:20 +0200 |
| commit | c07215582ab75faeea864827b153eed80a28527a (patch) | |
| tree | e54ac354dad67269d709f065890e373822d7d2b6 /pretyping | |
| parent | bef2e53ae2286d0a7c61697f7a7a71bfdc0a3c99 (diff) | |
Change the place of inference after sect discharge
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions