search

LibreTexts / ckeditor-binder-plugin

A CKeditor plugin that makes adding binder enabled pre tags easy.
GNU General Public License v3.0
4 stars 2 forks source link

add fa5 to local html #171

Closed TimStewartJ closed 3 years ago

TimStewartJ commented 3 years ago

Since the new FA5 stuff only applies to registerPlugin.js, which is only used in production builds, this adds FA5 to the local development HTML page.

moorepants commented 3 years ago

Thanks Tim, looks fine to me.

sandertyu commented 3 years ago

merge for testing