def ignore.file

import ezx@1.11.0.0/src/add/world.bend as World

import Base

39# the ignore file's path, which is fixed
40def ignore.file() -> String:
41  ".gitignore"

Uses (1)