diff options
| author |  Rustan Leino <unknown> | 2013-12-13 17:43:35 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-12-13 17:43:35 -0800 |
| commit | 3caf3b4c9932ee60ce93b52cc229db7722f28278 (patch) | |
| tree | 01c9f8a0971f8e1fd416ee11083cffc758f31899 /.hgignore | |
| parent | bec9ceeba29e8513a41a65be5a8fdba8d68333e3 (diff) | |
Produce "tail recursive" hover text in the IDE only for methods that are recursive
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ syntax: regexp ^Source/.*\.(smt2|bpl)$
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
Test/.*/Output
+Test/desktop/.*
Test/([^/]*)/([^/]*)\.sx
syntax: glob
*.exe
|