phoebos
|
7028d50226
|
*: explicit DESTDIR
|
2023-03-05 17:34:06 -06:00 |
|
phoebos
|
8bf65f2765
|
*: remove VERSION markers
|
2023-03-02 18:00:45 +05:30 |
|
git-bruh
|
44710574cb
|
*: b3sum
|
2022-11-21 17:17:17 +05:30 |
|
Dylan Araps
|
14849c1eb7
|
repo: check-in readmes
|
2021-08-26 07:22:10 +03:00 |
|
Dylan Araps
|
133469ca22
|
repo: merge master
|
2021-07-17 19:32:12 +03:00 |
|
Dylan Araps
|
05fd09a597
|
m4: update for new env
|
2021-07-15 12:18:09 +03:00 |
|
Dylan Araps
|
241db8b600
|
m4: use VERSION
|
2021-07-15 09:29:36 +03:00 |
|
Dylan Araps
|
dacf77a125
|
m4: 1.4.19
|
2021-06-30 11:14:15 +00:00 |
|
Dylan Araps
|
62dc459e41
|
m4: statically linked
|
2020-09-30 10:12:45 +03:00 |
|
Dylan Araps
|
2db8638b96
|
m4: revert commit. too early in the day
|
2020-09-04 09:36:14 +03:00 |
|
Dylan Araps
|
18bd711b27
|
m4: Fix circular dependency with flex. Thanks mforney
|
2020-09-04 09:19:33 +03:00 |
|
Dylan Araps
|
dedc9b35d6
|
various: Drop unneeded rm
|
2020-05-15 10:44:41 +03:00 |
|
Dylan Araps
|
f7a7cde0c7
|
various: Delete info pages.
|
2020-05-11 19:26:32 +03:00 |
|
Dylan Araps
|
a491f20183
|
m4: remove file now handled by package manager
|
2019-10-14 18:29:18 +03:00 |
|
Dylan Araps
|
1ef385f184
|
gcc: remove rm
|
2019-10-07 16:47:54 +03:00 |
|
Dylan Araps
|
f97659d1e9
|
m4: fix build
|
2019-09-16 13:24:54 +03:00 |
|
Dylan Araps
|
dbdfc93480
|
m4: use https for source
|
2019-09-13 09:18:14 +03:00 |
|
Dylan Araps
|
49297fe671
|
m4: remove glibc patch
|
2019-08-05 01:08:20 +03:00 |
|
Dylan Araps
|
aefced07fa
|
kiss: Nuke licenses.
|
2019-06-30 11:43:14 +03:00 |
|
Dylan Araps
|
8e5edec8ca
|
m4: Don't fail if rm fails.
|
2019-06-28 21:14:19 +03:00 |
|
Dylan Araps
|
5abac398b6
|
general: Remove manifests from repository.
|
2019-06-27 23:41:54 +03:00 |
|
Dylan Araps
|
f56336c303
|
core: Remove conflicting file between grub/m4
|
2019-06-22 08:25:05 +03:00 |
|
Muhammad Herdiansyah
|
5aa18f3f49
|
m4: add license
|
2019-06-19 20:41:39 +07:00 |
|
Dylan Araps
|
a54333506e
|
kiss: rename repo to core
|
2019-06-19 10:45:26 +03:00 |
|