Renamed docs/ to doc/

This commit is contained in:
2022-11-01 11:09:26 +01:00
parent 1859c432c8
commit bc7c3591a2
3 changed files with 3 additions and 3 deletions

4
.gitignore vendored
View File

@ -1,8 +1,8 @@
*
!src
!src/**
!docs
!docs/**
!doc
!doc/**
!Makefile
!.gitignore
!README.md