Code

remove extra blank and wordsmithing#973

Code

Merged

gusthoff merged 1 commit intoAdaCore:masterAdaCore/learn:masterfrom pat-rogers:masterpat-rogers/learn:masterCopy head branch name to clipboardDec 24, 2023

+5-4

Commits

Commits on Dec 24, 2023

• remove extra blank char from code.

  Show description for 5d6b927
  pat-rogers

  committed
  5d6b927

  Copy full SHA for 5d6b927