Skip to content
  1. Feb 09, 2023
  2. Feb 08, 2023
    • Luke Mewburn's avatar
      *.xml, *.xsd: reformat using xmllint · cf573e2c
      Luke Mewburn authored
      Reformat the .xml and .xsd files using
      	env XMLLINT_INDENT="    " xmllint --encode UTF-8 --format FILENAME.xml
      
      Notable (non-whitespace) changes to the existing files:
      - Ensure the <xml ...> header has encoding="UTF-8".
      - <xs:schema ...> collapsed to one line and some attribute reordered.
      - Empty tags are converted to self-closing tags. E.g.
      	<xs:element name="Name" type="Type"></xs:element:>
        becomes
      	<xs:element name="Name" type="Type"/>
      - Some xmlns related attributes are reordered.
      
      Per discussion with rapporteurs and Mark Canterbury.
      cf573e2c
    • Luke Mewburn's avatar
      *.xml, *.xsd: reformat whitespace per LI(23)P62014r2 · d0b92b60
      Luke Mewburn authored
      Reformat the .xml and .xsd files:
      - tabs converted to 4 spaces
      - no trailing whitespace
      
      No difference to previous when  git diff -b / --ignore-space-change
      d0b92b60
    • Luke Mewburn's avatar
      *.asn: reformat whitespace per LI(23)P62014r2 · 09204b23
      Luke Mewburn authored
      Reformat the .asn files:
      - 4 space indenting, including ensuring fields line up
      - no tabs
      - no trailing whitespace
      
      No difference to previous when  git diff -b / --ignore-space-change
      except for removal of some trailing blank lines.
      09204b23
    • Luke Mewburn's avatar
      LI(23)P62014r2: .editorconfig for .asn · 02c387ed
      Luke Mewburn authored
      Provide .editorconfig file.
      
      Globally, use UNIX-style formatting:
      - UNIX linefeed for end of line
      - Ensure files have a trailing newline.
      
      .asn, .asn1, .xml, .xsd:
      - 4 space indents (not tab)
      - Trim trailing whitespace
      02c387ed
  3. Feb 07, 2023
  4. Jan 18, 2023
  5. Jan 17, 2023
  6. Dec 20, 2022
  7. Nov 07, 2022
  8. Nov 01, 2022
  9. Oct 19, 2022