ada/vss-extra
0
0
Fork 0
mirror of https://github.com/AdaCore/vss-extra.git synced 2026-02-12 13:53:04 -08:00
Code Issues Packages Projects Releases Wiki Activity
1,801 Commits 4 Branches 1 Tag
main
Commit Graph

9 Commits

Author SHA1 Message Date
Elie Richa
4ae8eb0a15 Remove documentation that no longer belongs in vss-extra 2025-08-29 13:14:00 +00:00
Anthony Leonardo Gracio
0b00f60445 Update Tips_and_Tricks.md 2025-02-21 11:21:56 +00:00
Vadim Godunko
a3b3e82704 Add Tips & Trick 2025-02-20 20:35:40 +04:00
Vadim Godunko
06d339ccaf Use full path in documentation URI. 
It allows link to work in both repository view and generated
documentation cases.

Refs GH #191.
 2023-06-05 10:54:09 +04:00
Vadim Godunko
29ef11719c Fix URI of online documentation. 
Closes GH #191
 2023-06-01 12:22:38 +04:00
Vadim Godunko
f3e9f566d6 Adapt to recent enhancements of GNATdoc 2022-07-23 10:02:34 +03:00
Maxim Reznik
a5f4881e56 Use new gnatdoc to generate documentation 2022-05-19 21:14:23 +03:00
Nicolas Setton
f255a08dfe Point the reference manual to the github.io page 2021-02-12 11:14:36 +00:00
Maxim Reznik
dffd9471ee U114-013 Add docs building script 2021-02-02 19:08:35 +02:00