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-03 18:00:01 -05:00
parent 59ea1c2f7d
commit cf577ba8eb
1136 changed files with 59263 additions and 576 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.