Minor: remove deprecated keyword components

Adapton · Feb 21, 2018 · e190d60 · e190d60
1 parent 38e27e8
commit e190d60
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 20 deletions.
diff --git a/www/app/component/pretty/term/__builtin.component.js b/www/app/component/pretty/term/__builtin.component.js
diff --git a/www/app/component/pretty/term/__kind.component.js b/www/app/component/pretty/term/__kind.component.js
diff --git a/www/app/component/pretty/term/__lambda.component.js b/www/app/component/pretty/term/__lambda.component.js
diff --git a/www/app/component/pretty/term/__prop.component.js b/www/app/component/pretty/term/__prop.component.js
diff --git a/www/app/component/pretty/term/__sort.component.js b/www/app/component/pretty/term/__sort.component.js