aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping
diff options
context:
space:
mode:
authorGravatar Emilio Jesus Gallego Arias <e+git@x80.org>2017-06-12 12:37:55 +0200
committerGravatar Emilio Jesus Gallego Arias <e+git@x80.org>2017-06-12 12:40:10 +0200
commit63896b2443e71e47c016fc9d0709cc22cf24f288 (patch)
tree4f618edca12168797703fe0d6c2d88cbd1b6d541 /pretyping
parent79c42e22dd5106dcb85229ceec75331029ab5486 (diff)
[lib] Remove obsolete state-management function add_frozen_state
AFAICS this function predates modern state-handling; nowadays summaries are stored by the STM and nobody were using this information.
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions