milas/jellyfish-web
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

update components

Browse source
This commit is contained in:
Luke Pulverenti 2016-02-02 21:12:02 -05:00
parent 2a4b879c21
commit 63664e6c1c
1155 changed files with 62261 additions and 84 deletions
Download patch file Download diff file Expand all files Collapse all files

17
dashboard-ui/bower_components/prism/tests/languages/mizar/parameter_feature.test vendored Normal file
View file

@ -0,0 +1,17 @@
$1 $2 $3
$4 $5 $6
$6 $7 $9
$10
----------------------------------------------------
[
["parameter", "$1"], ["parameter", "$2"], ["parameter", "$3"],
["parameter", "$4"], ["parameter", "$5"], ["parameter", "$6"],
["parameter", "$6"], ["parameter", "$7"], ["parameter", "$9"],
["parameter", "$10"]
]
----------------------------------------------------
Checks for parameters.