Skip to main content

Browse the archive

Revision 3216bd3999435c220b93cae5e5c0e39d55ff83c4 authored by Boris Sekachev on 05 April 2023, 16:53:44 UTC, committed by Nikita Manovich on 05 April 2023, 17:00:41 UTC 
Tried to optimize annotation fetching (#5974)
 
 
 
 
 1 parent   61470b6 
  
 
 
 
  
 
   Raw File             
 
 
   
   
 
 .remarkrc.js 
 
 
 
exports.settings = { bullet: '*', paddedTable: false };

exports.plugins = [
    'remark-frontmatter',
    'remark-gfm',
    'remark-preset-lint-recommended',
    'remark-preset-lint-consistent',
    ['remark-lint-list-item-indent', 'space'],
    ['remark-lint-no-dead-urls', false], // Does not work because of github protection system
    ['remark-lint-maximum-line-length', 120],
    ['remark-lint-maximum-heading-length', 120],
    ['remark-lint-strong-marker', '*'],
    ['remark-lint-emphasis-marker', '_'],
    ['remark-lint-unordered-list-marker-style', '-'],
    ['remark-lint-ordered-list-marker-style', '.'],
    ['remark-lint-no-file-name-irregular-characters', false],
    ['remark-lint-list-item-spacing', false],
];

 
 
 
  
 
   
 
   
 
 
     
  back to top