diff options
| author | Erik Martin-Dorel | 2019-03-01 00:06:08 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-03-01 00:06:08 +0100 |
| commit | c5156ef960467334fb5ae38dfd5a8740115ee09b (patch) | |
| tree | 4473303622771ed6852ed229e2f19f0ffe11af5a /dev/doc | |
| parent | 8b42c73a6a3b417e848952e7510e27d74e6e1758 (diff) | |
[doc] ssr: Fix the documentation of `by [tacs]`
Closes coq/coq#9669
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions