|
||||
File indexing completed on 2024-09-27 07:02:37
0001 BEGIN { 0002 in_src = 0 0003 IGNORECASE=1 0004 } 0005 0006 /^#\+begin_src\s+[^\s]*python/ { 0007 in_src = 1 0008 match($0, /^ */) 0009 spaces = RLENGTH 0010 next 0011 } 0012 0013 /^#\+end_src/ { 0014 in_src = 0 0015 next 0016 } 0017 0018 in_src { 0019 re = "^ {" spaces "}" 0020 gsub(re,"") 0021 print 0022 }
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.7 LXR engine. The LXR team |