aboutsummaryrefslogtreecommitdiff
path: root/doc/toc.css
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-07-03 11:46:16 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-07-03 11:46:16 +0200
commite8ab7c08f14f8424ef26100ca28586d9f18bc52a (patch)
tree986f349e0eca9d062fae8a831bef18210fce97fb /doc/toc.css
parent50e1ffc8f9c48e3e81bd5fa38381193942182df3 (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