/lively4-PX18-graph-drawing/src/external/code-mirror/addon/fold

• brace-fold.js
• comment-fold.js
• foldcode.js
• foldgutter.css
• foldgutter.js
• indent-fold.js
• markdown-fold.js
• xml-fold.js