diff options
| author | Pierre Courtieu | 2015-01-05 09:04:29 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2015-01-05 09:04:29 +0000 |
| commit | 453c56a955f15623a29ae41a4e767b7745e80076 (patch) | |
| tree | 6b633d479a3bcfe8e1263a4686c975aaac4476cc /FAQ | |
| parent | 22d7dccdd23603d07975799a159623223cb31095 (diff) | |
trying to indent pending forall in the expected way
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions