Compare commits

...

5 Commits

Author SHA1 Message Date
anita-that-chiq 85324516b2
Merge f92b82fcc8 into 35d21565a9 2024-11-20 16:19:02 +00:00
Ajay Singh 35d21565a9
Added favicon to the website which will make the site look great. (#11603)
* Add files via upload

* Update _config.yml

* Add files via upload

* Update default.html

* Update _config.yml

* Update default.html

* Update _config.yml

* Update default.html

* Update default.html

* Update default.html

* Update default.html

* Update default.html

* Delete _layout directory

* Update _config.yml

* Add files via upload

* Update head-custom.html

* Delete _includes/head-custom-google-analytics.html

* Update _config.yml

* Update _config.yml
2024-11-20 11:18:46 -05:00
anita-that-chiq f92b82fcc8 Remove format options 2024-10-21 12:54:02 +03:00
anita-that-chiq d419cb44f6 Remove format options 2024-10-21 01:51:38 +03:00
anita-that-chiq 73fa89797d Add license to three books 2024-10-21 01:39:16 +03:00
3 changed files with 11 additions and 2 deletions

View File

@ -0,0 +1,9 @@
<!-- start custom head snippets, customize with your own _includes/head-custom.html file -->
<!-- Setup Google Analytics -->
<!-- You can set your favicon here -->
<link rel="shortcut icon" type="image/x-icon" href="{{ '/favicon.ico' | relative_url }}">
<!-- end custom head snippets -->

View File

@ -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) * [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 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) * [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 ### Agda
@ -372,7 +372,7 @@ Books on general-purpose programming that don't focus on a specific language are
### Autotools ### 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/) * [GNU Autoconf, Automake and Libtool](http://sourceware.org/autobook/)

BIN
favicon.ico Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 15 KiB