diff options
author | Ramón M. Gómez <ramongomez@us.es> | 2020-05-19 14:53:27 +0200 |
---|---|---|
committer | Ramón M. Gómez <ramongomez@us.es> | 2020-05-19 14:53:27 +0200 |
commit | 4f9978aea3a93f3069a47c31bf5649835e8ba2c3 (patch) | |
tree | 08f5e8f0cd6843bfb9ee1c54f909f0608c941a61 /client/boot-tools/includes/etc/fstab | |
parent | a0868b7012b2a8aba33b34b0cf08741ea2b97725 (diff) |
#959: Delete dirs moved to other repositories.
OGAgent code, browser code and the ogLive builder scrips are moved to new Git repositories.
Diffstat (limited to 'client/boot-tools/includes/etc/fstab')
-rw-r--r-- | client/boot-tools/includes/etc/fstab | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/client/boot-tools/includes/etc/fstab b/client/boot-tools/includes/etc/fstab deleted file mode 100644 index d7473df4..00000000 --- a/client/boot-tools/includes/etc/fstab +++ /dev/null @@ -1,13 +0,0 @@ -# /etc/fstab: static file system information. -# -# Use 'blkid -o value -s UUID' to print the universally unique identifier -# for a device; this may be used with UUID= as a more robust way to name -# devices that works even if disks are added and removed. See fstab(5). -# -# <file system> <mount point> <type> <options> <dump> <pass> -proc /proc proc 0 0 -/dev/sda1 ext3 errors=remount-ro 0 1 - - - - |