1998-12-24 19:11:50 +01:00
|
|
|
bin/erl
|
|
|
|
bin/erlc
|
2001-06-06 22:57:49 +02:00
|
|
|
lib/erlang/man/windex
|
|
|
|
@comment Insert PLIST.lib-erlang here
|
|
|
|
@comment -=[ begin PLIST.lib-erlang ]=-
|
|
|
|
@comment -=[ end PLIST.lib-erlang ]=-
|
|
|
|
@dirrm lib/erlang/man/man6
|
|
|
|
@dirrm lib/erlang/man/man4
|
|
|
|
@dirrm lib/erlang/man/man3
|
|
|
|
@dirrm lib/erlang/man/man1
|
|
|
|
@dirrm lib/erlang/man
|
|
|
|
@dirrm lib/erlang
|