More compact formatting for listing of MKWS run-time target-selection
authorMike Taylor <mike@indexdata.com>
Fri, 25 Jul 2014 12:24:57 +0000 (13:24 +0100)
committerMike Taylor <mike@indexdata.com>
Fri, 25 Jul 2014 12:24:57 +0000 (13:24 +0100)
commitd751eef0dd881751d2f2c7aa8c2320ee8186fd1e
tree14b927c9c9b4e777688f594bf406f2b066c8aed1
parentde2b1e7ad5ae15dd95145809a926d250e0a0140c
More compact formatting for listing of MKWS run-time target-selection
HTML attributes, since Markdown can't format this the way I would have
liked.
doc/library-configuration.markdown