You've already forked adareducer
mirror of
https://github.com/AdaCore/adareducer.git
synced 2026-02-12 13:10:07 -08:00
3 lines
79 B
Bash
3 lines
79 B
Bash
$ADAREDUCER --single-file hello.adb p.gpr oracle.ps1 > /dev/null
|
|
cat hello.adb
|