Andrea Bolognani 61b070cf20 docs: Use <code> inside <dt> for symbols
Most of the time, the <dt> tag is used when providing
documentation for a symbol; enclose symbols in <code> tags to
style them appropriately.
2016-04-22 10:36:14 +02:00
..
2016-04-20 12:51:39 +02:00
2014-12-02 07:30:10 +01:00
2015-08-25 07:21:33 -04:00
2016-04-22 10:14:13 +02:00
2015-03-23 09:01:30 +01:00
2015-03-23 09:01:30 +01:00
2014-03-03 17:41:26 +04:00
2013-12-02 10:21:26 +08:00
2014-12-02 07:30:10 +01:00
2014-12-02 07:30:10 +01:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2015-10-20 17:29:03 +02:00
2016-04-06 15:18:46 +08:00
2015-10-20 17:30:34 +02:00
2016-03-29 13:45:33 +02:00
2013-09-12 17:18:32 +08:00
2014-12-02 07:30:10 +01:00