diff options
| author | alexbiehl <alex.biehl@gmail.com> | 2017-08-16 09:06:40 +0200 |
|---|---|---|
| committer | alexbiehl <alex.biehl@gmail.com> | 2017-08-16 09:06:40 +0200 |
| commit | f7032e5e48c7a6635e1dca607a37a16c8893e94b (patch) | |
| tree | c7828fc46261fa482f5c2fe4c40250075f009f1d /doc/Makefile | |
| parent | 2ad45f618b9ad2a7a5507e83c3990d93b752a3c0 (diff) | |
Refactoring: Make doc renaming monadic
This allows us to later throw warnings if can't find an identifier
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions