diff options
| author | Wolfgang Müller | 2019-07-21 21:28:59 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2019-07-22 13:02:38 +0200 |
| commit | 86775b8c0653a9c4264590cc1a775cd7237360e9 (patch) | |
| tree | 37bcf759bc47a793bb5b9b988528c6c4d1405cb3 /.gitignore | |
| parent | 55a075f8279d4e1ae3a25b2e8c4ebd9d6a8b0208 (diff) | |
| download | site-86775b8c0653a9c4264590cc1a775cd7237360e9.tar.gz | |
Makefile: Rename HTML to POSTS_HTML
The new name is clearer and consistent with the source lists.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions