In Files

  • irb/cmd/pushws.rb

IRB::ExtendCommand::PopWorkspace

There is an updated format of the API docs for this version here.