search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

Wrong url #22

Open eponier opened 7 years ago

eponier commented 7 years ago

On the front page, the repository given is acsl, not acsl-language.