mirrors
/
mermaid
mirror of https://github.com/mermaid-js/mermaid.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #940 

Use https in githu urls
This commit is contained in:
Nacho 2019-09-23 09:44:20 -04:00 committed by GitHub
parent 046b83582d 6c243488fa
commit 6110640fc2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/diagrams/info/parser/info.jison
View File

@ -1,5 +1,5 @@
/** mermaid
* http://knsv.github.io/mermaid/
* https://knsv.github.io/mermaid
* (c) 2015 Knut Sveidqvist
* MIT license.
*/
@ -45,4 +45,4 @@ statement
: showInfo { yy.setInfo(true); }
;
%%
%%

8
src/diagrams/pie/parser/pie.jison
View File

@ -1,5 +1,5 @@
/** mermaid
* http://knsv.github.io/mermaid/
* https://knsv.github.io/mermaid
* (c) 2015 Knut Sveidqvist
* MIT license.
*/
@ -48,10 +48,10 @@ line
;
statement
: STR VALUE {
: STR VALUE {
console.log('str:'+$1+' value: '+$2)
yy.addSection($1,yy.cleanupValue($2)); }
| title {yy.setTitle($1.substr(6));$$=$1.substr(6);}
| title {yy.setTitle($1.substr(6));$$=$1.substr(6);}
;
%%
%%