mirror of
https://git.savannah.gnu.org/git/gnuboot.git
synced 2025-01-04 07:17:40 +01:00
Denis 'GNUtoo' Carikli
b42fd2220c
The website and the documentation are currently in a separate repository. Since we want to be able to have commits that modify both the code and the documentation in order to keep everything in sync, we need to merge both histories. It's also a good idea to do that as early as possible as we don't need to deal with the confusion of having to keep an extra unused git repository for historic purposes. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
36 lines
370 B
Text
36 lines
370 B
Text
*~
|
|
/*.bin
|
|
/bin/
|
|
/bucts/
|
|
/build_error
|
|
/coreboot/
|
|
/crossgcc/
|
|
*.date
|
|
/depthcharge/
|
|
/descriptors/
|
|
/docs/version
|
|
/*.elf
|
|
*feed.xml
|
|
/flashrom/
|
|
/grub/
|
|
*.hash
|
|
*.html
|
|
/ich9utils/
|
|
/me_cleaner/
|
|
/memtest86plus/
|
|
/payload/
|
|
/push
|
|
/release/
|
|
/resources/coreboot/*/seen
|
|
/*.rom
|
|
*.s[a-w]?
|
|
/seabios/
|
|
*.sha1sum
|
|
/site/news/index*
|
|
/site/sitemap.md
|
|
/tmp/
|
|
/TODO
|
|
/TODO/
|
|
/version
|
|
/versiondate
|
|
*.vim
|