Removing the mention of using discard for block comments (#12837) [backport]

* Remove mention of using `discard` for block comments

* Add a 32x32 alternate favicon
This commit is contained in:
Elliot Waite 2019-12-08 11:16:17 -08:00 • committed by Andreas Rumpf
commit 5da27a891c
7 changed files with 6 additions and 3 deletions

View file

@ -689,9 +689,6 @@ been declared with the ``discardable`` pragma:
p(3, 4) # now valid
The ``discard`` statement can also be used to create block comments as
described in the `Comments`_ section.
Named arguments
---------------