Merge branch 'devel' into araq

This commit is contained in:
Andreas Rumpf 2017-11-07 11:17:20 +01:00
commit 617ba1a209
37 changed files with 353 additions and 69 deletions

View file

@ -316,7 +316,7 @@ factor.
immediate pragma
----------------
See `Ordinary vs immediate templates`_.
See `Typed vs untyped parameters`_.
compilation option pragmas