diff options
| author | Pierre-Marie Pédrot | 2015-12-09 11:56:52 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-12-09 11:57:07 +0100 |
| commit | 8ea758fbb392e270e6a8d2287dbb5b0455d99368 (patch) | |
| tree | c024c0fe2548ab03af2aa96c4f45594d520551af /kernel | |
| parent | 5c5b5906426f38323fc5d63f4dc634672ebd2649 (diff) | |
Fixing parsing of the unshelve tactical.
Now [unshelve tac1; tac2] is parsed as [(unshelve tac1); tac2].
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions