mirror of
https://github.com/myhdl/myhdl.git
synced 2025-01-24 21:52:56 +08:00
5 lines
78 B
Plaintext
5 lines
78 B
Plaintext
global-include *.py
|
|
global-include *.txt
|
|
global-include *.pdf
|
|
prune doc/tools
|