Wed, 14 Sep 2011 22:29:19 +0200 Basic kill command
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Wed, 14 Sep 2011 22:29:19 +0200] rev 81
Basic kill command
Wed, 14 Sep 2011 19:52:57 +0200 [obsolete] add kill support
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Wed, 14 Sep 2011 19:52:57 +0200] rev 80
[obsolete] add kill support
Wed, 14 Sep 2011 19:20:38 +0200 [obsolete] issue a warning when parent of current directory is obsolete.
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Wed, 14 Sep 2011 19:20:38 +0200] rev 79
[obsolete] issue a warning when parent of current directory is obsolete.
Wed, 14 Sep 2011 17:55:17 +0200 [states] add some documentation for extension wrapping
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Wed, 14 Sep 2011 17:55:17 +0200] rev 78
[states] add some documentation for extension wrapping
(0) -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 tip