You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
header markers:
|
|
#NOP ****
|
|
remark markers:
|
|
#NOP
|
|
end markers:
|
|
#NOP -
|
|
|
|
accept files:
|
|
*.tin
|
|
|
|
ignore files:
|
|
.git
|
|
|
|
options:
|
|
--src .
|
|
--doc ./doc
|
|
--html
|
|
--multidoc
|
|
--index
|
|
--tabsize 8
|
