Thorsten „mirabilos“ Glaser be9a70562e Make /etc/profile compatible with non-bash shells again. ...

Fixes #13384.

Signed-off-by: Adrien Destugues <pulkomandy@pulkomandy.tk>

2017-03-25 12:04:08 +01:00

..

artwork

…

bin

…

boot_cd

…

catalogs

Update translations from Pootle

2017-03-25 06:41:13 +01:00

config/boot

…

develop

Added makefile_engine documentation to package

2017-03-18 20:20:58 +01:00

etc

Make /etc/profile compatible with non-bash shells again.

2017-03-25 12:04:08 +01:00

image_directories

…

launch

…

settings

…

system

libs/agg: Remove GPC.

2017-03-18 19:27:45 -04:00

userlandfs/file_systems

…