mirror of
https://github.com/EbookFoundation/free-programming-books.git
synced 2024-12-18 09:26:10 +00:00
Compare commits
5 Commits
edd81d40d6
...
2f962eca56
Author | SHA1 | Date | |
---|---|---|---|
|
2f962eca56 | ||
|
9c550dd5a1 | ||
|
f92b82fcc8 | ||
|
d419cb44f6 | ||
|
73fa89797d |
2
.github/workflows/check-urls.yml
vendored
2
.github/workflows/check-urls.yml
vendored
@ -42,7 +42,7 @@ jobs:
|
||||
fetch-depth: ${{ steps.set-params.outputs.fetch-depth }}
|
||||
- name: Get changed files
|
||||
id: changed-files
|
||||
uses: tj-actions/changed-files@v45.0.4
|
||||
uses: tj-actions/changed-files@v45.0.5
|
||||
with:
|
||||
separator: " "
|
||||
json: true
|
||||
|
@ -247,7 +247,7 @@ Books on general-purpose programming that don't focus on a specific language are
|
||||
* [Ada Reference Manual - ISO/IEC 8652:2012(E) Language and Standard Libraries](http://www.ada-auth.org/standards/12rm/RM-Final.pdf) (PDF)
|
||||
* [Introduction To Ada](https://learn.adacore.com/courses/intro-to-ada/index.html)
|
||||
* [Introduction To SPARK](https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html)
|
||||
* [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html)
|
||||
* [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html) (LGPL)
|
||||
|
||||
|
||||
### Agda
|
||||
@ -372,7 +372,7 @@ Books on general-purpose programming that don't focus on a specific language are
|
||||
|
||||
### Autotools
|
||||
|
||||
* [Autotools Mythbuster](https://autotools.io/index.html)
|
||||
* [Autotools Mythbuster](https://autotools.io/index.html)- Diego Elio “Flameeyes” Pettenò (CC BY-NC-SA)
|
||||
* [GNU Autoconf, Automake and Libtool](http://sourceware.org/autobook/)
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user