diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-24 17:35:53 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:35:42 +0100 |
| commit | 866e364dde76aa5df42548bf72d2f5c4d200535b (patch) | |
| tree | a0fe7c27c533e293255471aa6f34b272ef61e9c1 /project | |
| parent | e59241a2852eab53bdc0e22ea5b2dd394b231913 (diff) | |
| download | dotty-866e364dde76aa5df42548bf72d2f5c4d200535b.tar.gz dotty-866e364dde76aa5df42548bf72d2f5c4d200535b.tar.bz2 dotty-866e364dde76aa5df42548bf72d2f5c4d200535b.zip | |
Document dottydoc capabilities, add anchored headers
Diffstat (limited to 'project')
| -rw-r--r-- | project/Build.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/project/Build.scala b/project/Build.scala index 0abdc99be..d104544c5 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -192,6 +192,7 @@ object DottyBuild extends Build { "com.vladsch.flexmark" % "flexmark-ext-gfm-tasklist" % "0.11.1", "com.vladsch.flexmark" % "flexmark-ext-gfm-tables" % "0.11.1", "com.vladsch.flexmark" % "flexmark-ext-autolink" % "0.11.1", + "com.vladsch.flexmark" % "flexmark-ext-anchorlink" % "0.11.1", "com.vladsch.flexmark" % "flexmark-ext-emoji" % "0.11.1", "com.vladsch.flexmark" % "flexmark-ext-gfm-strikethrough" % "0.11.1", "com.vladsch.flexmark" % "flexmark-ext-yaml-front-matter" % "0.11.1", |