diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-03 11:46:16 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-03 11:46:16 +0200 |
| commit | e8ab7c08f14f8424ef26100ca28586d9f18bc52a (patch) | |
| tree | 986f349e0eca9d062fae8a831bef18210fce97fb /doc/toc.css | |
| parent | 50e1ffc8f9c48e3e81bd5fa38381193942182df3 (diff) | |
Enter config.dist.uncommitted in dist module, make omitted
One side-effect of doing this in the version module (where it is still used
and enforced) was that dist module configuration (e.g., in an amalgamation)
did not include this variable (and which was then duplicated in each
subproject).
Diffstat (limited to 'doc/toc.css')
0 files changed, 0 insertions, 0 deletions