|
|
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 |
|
