tree e117e630b51b17dff8273bbf54742e97f1c5ec7d
parent b18ee09cb820ba893e39e59985018e46282f6a28
author David Pursehouse <dpursehouse@collab.net> 1567141467 +0900
committer David Pursehouse <dpursehouse@collab.net> 1567141482 +0900

dev-intellij.txt: Fix indentation level warning

Change Ifc083f8a0 introduced a warning in the documentation build:

  WARNING: dev-intellij.txt.html_htmlonly_expn: line 190:
  section title out of sequence:
  expected level 2, got level 3

Change-Id: Ib630c04af3f5e6d315d0c1fabc34f116be13c37b