Changeset 8c1ee9 in git for doc/STYLEGUIDE


Ignore:
Timestamp:
Jan 13, 2023, 12:15:43 PM (15 months ago)
Author:
Frédéric Chapoton <chapoton@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
b5d360f5562e29d38097134c37a1cbac2f07867a
Parents:
2695653b7a8b04305574f201f0dfcdc2b87f60ea
git-author:
Frédéric Chapoton <chapoton@unistra.fr>2023-01-13 12:15:43+01:00
git-committer:
Frédéric Chapoton <chapoton@unistra.fr>2023-01-13 12:16:01+01:00
Message:
fix some typos in doc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/STYLEGUIDE

    r269565 r8c1ee9  
    248248  specialization (like "help, online help system").
    249249
    250 + Use the @anchor{label} construct, to set arbitraty labels, to which
     250+ Use the @anchor{label} construct, to set arbitrary labels, to which
    251251  you can refer to with @ref{label}. For example:
    252252@anchor{option(prot);}
Note: See TracChangeset for help on using the changeset viewer.