mirror of
https://github.com/myhdl/myhdl.git
synced 2024-12-14 07:44:38 +08:00
5 lines
78 B
Plaintext
5 lines
78 B
Plaintext
global-include *.py
|
|
global-include *.txt
|
|
global-include *.pdf
|
|
prune doc/tools
|