You've already forked ada-spark-rfcs
mirror of
https://github.com/AdaCore/ada-spark-rfcs.git
synced 2026-02-12 13:03:10 -08:00
2026-02-08 - 2026-02-15
Overview
Excluding merges,
1 author
has pushed
1 commit
to master and
2 commits
to all branches.
On master,
1 file
has changed
and there have been
58 additions
and
37 deletions.