diff options
| author | Matthías Páll Gissurarson <mpg@mpg.is> | 2019-09-28 18:14:40 +0200 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2019-09-28 12:14:40 -0400 |
| commit | 5d02baf2ad8fd0bbe1e33e6142427b69928f803e (patch) | |
| tree | 2e57e1ed69a7ae27f5ae06a316adfdeccc2ffa8a /haddock-api/resources/html/Ocean.theme/minus.gif | |
| parent | 58933236f116a26a2827b0cb5c46947e4f056c77 (diff) | |
Small change in to facilitate extended typed-holes (#1090)
This change has no functional effect on haddock itself, it just changes one pattern to use `_ (` rather than `_(`, so that we may use `_(` as a token for extended typed-holes later.
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/minus.gif')
0 files changed, 0 insertions, 0 deletions