Repository navigation

Split domProps into separate subtypes - #8162

Closed

dkirchhof wants to merge 4 commits into

rescript-lang:masterfrom

dkirchhof:split-domprops

Closed

Split domProps into separate subtypes#8162
dkirchhof wants to merge 4 commits into
rescript-lang:masterfrom
dkirchhof:split-domprops

Commits on Jan 9, 2026
- Split domProps into separate subtypes
  dkirchhof
  committed
  cd101ea
Commits on Jan 20, 2026
- updated dev container to use rust 1.92
  dkirchhof
  committed
  e9058f4
- generated new completions
  dkirchhof
  committed
  4aabdb4
Commits on Jan 23, 2026
- Merge branch 'master' into split-domprops
  dkirchhof
  authored
  6b8db8e