aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Documentation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-02-20 14:19:45 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-05-21 02:45:14 +0200
commite64084b052c2d1df8899268fa77f64cf213ccff5 (patch)
tree4196ae9986b9711f9e1c0b758770347aefe0fc1b /Documentation
parent5d8c8de3262cce79a5229bb9f5abc1ac66cadef8 (diff)
downloadsparse-dev-e64084b052c2d1df8899268fa77f64cf213ccff5.tar.gz
doc: fix headings
To have proper entris in the index pages, we need to use headings consistently. Fix the few headings that used some headings non-consistent with the others. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/project-ideas.md5
1 files changed, 2 insertions, 3 deletions
diff --git a/Documentation/project-ideas.md b/Documentation/project-ideas.md
index 380f850b..bff5f3d6 100644
--- a/Documentation/project-ideas.md
+++ b/Documentation/project-ideas.md
@@ -9,8 +9,7 @@ Why hacking on sparse
With sparse-llvm, sparse uses llvm as back end to emit real machine code.
New developer hacking on sparse
-==============================
-
+------------------------------
* All sparse warning messages should include the option how
to disable it.
@@ -29,7 +28,7 @@ used. (-Wno-vla)"
* checker error output database
For experienced developers
-==========================
+--------------------------
* merge C type on incremental declare of C type and function prototype.
* move attribute out of ctype to allow easier to add new attribute.