Changeset 8c1ee9 in git for doc/STYLEGUIDE
- Timestamp:
- Jan 13, 2023, 12:15:43 PM (15 months ago)
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/STYLEGUIDE
r269565 r8c1ee9 248 248 specialization (like "help, online help system"). 249 249 250 + Use the @anchor{label} construct, to set arbitra ty labels, to which250 + Use the @anchor{label} construct, to set arbitrary labels, to which 251 251 you can refer to with @ref{label}. For example: 252 252 @anchor{option(prot);}
Note: See TracChangeset
for help on using the changeset viewer.