search

openshmem-org / specification

OpenSHMEM Application Programming Interface
http://www.openshmem.org
49 stars 32 forks source link

Shorten annex heading for Deprecated API #432

Closed BryantLam closed 4 years ago

BryantLam commented 4 years ago

Closes https://github.com/openshmem-org/specification/issues/429

Makes the PDF bookmark easier to glance toward.

jdinan commented 4 years ago

Need review/approval from another committee member to merge this as a doc edit.

BryantLam commented 4 years ago

Force-pushed to squash the three commits into one.