|
|
55ba8cfc23
|
Change echoes
|
2021-02-23 23:03:36 +01:00 |
|
|
|
ca0b177029
|
Update all and handle empty stat
|
2021-02-16 16:36:12 +01:00 |
|
|
|
91310481de
|
Only update cours and procedures if origin is more recent
|
2021-02-03 11:59:21 +01:00 |
|
|
|
9c5fd4d54a
|
Add to git only by hand
|
2021-01-22 19:39:49 +01:00 |
|
|
|
0ed709f114
|
Prevent me from editing 'index.html' because it is generated
|
2021-01-13 12:51:43 +01:00 |
|
|
|
73c4e25456
|
Update scripts
|
2021-01-12 14:20:40 +01:00 |
|
|
|
8cbd73374c
|
Make more readable display name for procedures
|
2021-01-07 21:46:06 +01:00 |
|
|
|
b42ab1c9ea
|
Put git commit in update script
|
2021-01-05 11:13:53 +01:00 |
|
|
|
9c3879ce5e
|
Update procedures and cours and add main update script
|
2021-01-05 09:45:29 +01:00 |
|
|
|
9256dfaa53
|
Simplify the removal of tmp file
|
2021-01-04 16:56:33 +01:00 |
|
|
|
ed26ac7e6a
|
Add header and footer to procedures index too
|
2021-01-04 14:19:41 +01:00 |
|
|
|
1ad0cf0c26
|
Rename LIST to more descriptive PROCEDURE
|
2021-01-03 23:30:22 +01:00 |
|
|
|
6a22ea703d
|
Make index file to read procedures, and add portion to pull_procedures to create the index file
|
2021-01-03 21:43:15 +01:00 |
|
|
|
81da82c811
|
Ignore chose
|
2021-01-01 21:05:23 +01:00 |
|
|
|
ac509cfb0c
|
Rename procedures to be a constant name
|
2021-01-01 19:56:20 +01:00 |
|
|
|
ce9d5f0be0
|
Add cours-tssr, refuse to execute script if on lime2
|
2021-01-01 19:35:55 +01:00 |
|
