mirror of
https://github.com/storytold/cadcraft.git
synced 2026-10-24 19:06:56 -06:00
c02027abc8
Found while testing crates/engine/src/cmd/utility/calc.rs:124-140 (Parser::unary recursion, MAX_DEPTH only counted in expr() and '[') Co-authored-by: Claude Haiku 5.5 <noreply@anthropic.com> Co-authored-by: Brandon Thomas <echelon@gmail.com>
76 lines
2.0 KiB
TOML
76 lines
2.0 KiB
TOML
# Contributor names for the About window (craftrules standards/contributors.md).
|
|
#
|
|
# Everyone who contributes is credited by GitHub username automatically. Anything more is up to
|
|
# you: add YOUR OWN entry below, in your own PR (commit it yourself). Never add someone else; a
|
|
# maintainer may add a person only when that person asked, recording where in consent_source.
|
|
#
|
|
# Easiest: python3 ../../craftrules/scripts/contributors.py --add-me . \
|
|
# [--real-name "Ada Lovelace"] [--display-name "Ada"] [--sync-github-name]
|
|
#
|
|
# Or copy this block, replacing your-github-username (every field is optional):
|
|
#
|
|
# [people.your-github-username]
|
|
# real_name = "Your Name" # shown when the viewer picks "Real name"
|
|
# display_name = "Nickname" # shown when the viewer picks "Display name"
|
|
# sync_github_name = true # or: use the name on your public GitHub profile as display name
|
|
#
|
|
# To remove your names, delete your entry (or set fields empty) in a PR. The next
|
|
# contributors.py run, and the next build, drop them.
|
|
|
|
[people.echelon]
|
|
real_name = "Brandon Thomas"
|
|
display_name = "Brandon Thomas"
|
|
sync_github_name = false
|
|
|
|
[people.switch87]
|
|
real_name = "Gert Pellin"
|
|
display_name = "Gert Pellin"
|
|
sync_github_name = false
|
|
|
|
[people.rangoDJ]
|
|
sync_github_name = true
|
|
|
|
[people.Tru10]
|
|
display_name = "by Truitt"
|
|
sync_github_name = false
|
|
|
|
[people.tsangiotis]
|
|
real_name = "Tasos Sangiotis"
|
|
display_name = "Tasos Sangiotis"
|
|
sync_github_name = false
|
|
|
|
[people.vangel76]
|
|
sync_github_name = true
|
|
|
|
[people.WladmirJunior]
|
|
real_name = "Wladmir Júnior"
|
|
sync_github_name = true
|
|
|
|
[people.Losminek]
|
|
sync_github_name = true
|
|
|
|
[people.GJoe2]
|
|
sync_github_name = true
|
|
|
|
[people.holmbom]
|
|
real_name = "Erik Holmbom"
|
|
display_name = "Erik Holmbom"
|
|
sync_github_name = false
|
|
|
|
[people.cyfung1031]
|
|
real_name = "Chester Fung"
|
|
display_name = "Chester Fung"
|
|
sync_github_name = true
|
|
|
|
[people.C00kieMonsta]
|
|
real_name = "Antoine Boxho"
|
|
display_name = "Antoine Boxho"
|
|
sync_github_name = true
|
|
|
|
[people.Silvertree2010]
|
|
display_name = "Netter"
|
|
sync_github_name = false
|
|
|
|
[people.gurparvez]
|
|
real_name = "Gurparvez"
|