diff options
| author | Camil Staps | 2018-04-19 18:33:07 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-19 18:33:07 +0200 |
| commit | 3d377ca8fbe6492f5b1faf38c09160939e36d711 (patch) | |
| tree | b9f2316bff823b8c42518ff6d106f548e153acc7 /.gitignore | |
| parent | Lalala (diff) | |
Example for satisfaction by words; still needed: satisfaction by TS (and equivalence)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions